Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

LOTOSphere: Software Development with LOTOS

Taal EngelsEngels
Boek Gebonden (harde band)
Boek LOTOSphere: Software Development with LOTOS Tommaso Bolognesi
Libristo-code: 01398296
Uitgeverij Springer, januari 1995
LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, althou... Volledige beschrijving
? points 444 b
183.38 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Mickey a závodníci Knížka do ruky collegium / Boek Gebonden (paperback)
common.buy 3.63 €
Antigone, Griechisch-Deutsch ophokles / Boek Gebonden (paperback)
common.buy 6.76 €
Opere Di Shakspeare: Amleto. Cimbelino. Otello... William Shakespeare / Boek Gebonden (paperback)
common.buy 28.80 €
Mignonisme Katerine / Boek Gebonden (harde band)
common.buy 28.40 €
'Y Blaid Ffasgaidd yng Nghymru' Richard Wyn Jones / Boek Gebonden (paperback)
common.buy 10.20 €
Mein Mathe-Trainingsheft: Bruchrechnen 3 Lars Gellner / Boek Blad
common.buy 16.67 €
Od měděné formy k automobilu Jan Mohr / Boek Gebonden (harde band)
common.buy 15.15 €
Wordt verwacht
Očarované kameny + CD Václav Vokolek / Boek binding.
common.buy 8.99 €
Diwan Wörterbuch, Hocharabisch, Arabisch-Deutsch-phonetisch Rund 20'000 Wörter Mohamed Abdel Aziz / Boek Gebonden (paperback)
common.buy 35.37 €
Encyclopedie Des Gens Du Monde T. 8.1 Artaud De Montor-A / Boek Gebonden (paperback)
common.buy 29.11 €
Meditación sin gurús Clarck Strand / Boek Gebonden (paperback)
common.buy 10.20 €
Immer diese Bläser ... Klaus Heizmann / Boek Gebonden (harde band)
common.buy 20.82 €
Recht als interpretative Praxis. Claudia Bittner / Boek Gebonden (paperback)
common.buy 78.14 €
Minderheitenschutz und Demokratie Dieter Blumenwitz / Boek Gebonden (paperback)
common.buy 111.09 €
Zwischen Diskriminierung und Anerkennung Annette Sprung / Boek Gebonden (paperback)
common.buy 26.78 €
Getrieben Rainer Wegener / Boek Gebonden (paperback)
common.buy 17.58 €
TOP
Matějova akrobacie Rika Taeymans / Boek Gebonden (harde band)
common.buy 14.24 €
Periphere Leitungsbahnen II Haut Und Sinnesorgane Vegetatives Nervensystem Hermann Braus / Boek Gebonden (paperback)
common.buy 53.06 €
Medizinrecht Michael Jahn / Boek Gebonden (harde band)
common.buy 79.96 €
O Poder Judiciario na Formacao do Estado Brasileiro Barile Da Silveira Daniel / Boek Gebonden (paperback)
common.buy 53.37 €

LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more advantages than the pure production of standard reference documents were to be expected from the use of such formal description techniques. §LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the ISO tower into software engineering practice. LOTOS became a vehicle for efficient, yet formally based industrial software specification, design, verification, implementation and testing. §LOTOSphere: Software Development with LOTOS is divided into six parts. The first introduces the reader to LOTOS and the project LOTOSphere. The five remaining each treat an important part of the software development life cycle using LOTOS. This is the first book to give a comprehensive treatment of the use of these formal description techniques in a software engineering environment. It will thus be a valuable reference for researchers and software developers and can also be used as a text for an advanced course on the subject.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam LOTOSphere: Software Development with LOTOS
Auteur Tommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 1995
Aantal pagina's 488
EAN 9780792395294
ISBN 0792395298
Libristo-code 01398296
Uitgeverij Springer
Gewicht 1980
Afmetingen 155 x 235 x 29

Categorieën

Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Elektrotechniek
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeringstechnieken
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Reprogram Your Weight Erika Flint / Boek Gebonden (paperback)
common.buy 14.24 €
Beyond Blame Peter Duncan / Boek Gebonden (paperback)
common.buy 53.37 €
Risk and the War on Terror Louise Amoore / Boek Gebonden (paperback)
common.buy 72.07 €
Writing for Radio Vincent McInerney / Boek Gebonden (paperback)
common.buy 28.90 €
In Praise of Bureaucracy Paul Du Gay / Boek Gebonden (paperback)
common.buy 44.98 €
Laborer's Two Bodies Kellie Robertson / Boek Gebonden (harde band)
common.buy 60.95 €
Great Midland Alexander Saxton / Boek Gebonden (paperback)
common.buy 24.86 €
Nutrition Research Advances Sarah V Watkins / Boek Gebonden (harde band)
common.buy 310.75 €
Athens Assignment Hart / Boek Gebonden (paperback)
common.buy 9.90 €
Damned Algernon Blackwood / Boek Gebonden (harde band)
common.buy 25.97 €
Chronicles of an Appalachian Woman Kay Anna Fields / Boek Gebonden (paperback)
common.buy 15.76 €
Protecting Privacy in China Hao Wang / Boek Gebonden (paperback)
common.buy 102.90 €
TOP
The Culture Map Erin Meyer / Boek Gebonden (paperback)
common.buy 19.40 €
Annual Report of the Auditor of State to the ... General Assembly Ohio Auditor of State / Boek Gebonden (harde band)
common.buy 45.79 €
Household Account Book of Sarah Fell Sarah Fell / Boek Gebonden (harde band)
common.buy 41.03 €
Streams in the Desert Morning and Evening L. B. E. Cowman / Boek Gebonden (harde band)
common.buy 20.41 €
Dementia Julian Hughes / Boek Gebonden (harde band)
common.buy 220.68 €
Marea baja GEBEL DANTE / Boek Gebonden (paperback)
common.buy 15.66 €
Chronicles of Saint Nikolaus: Rowan and the Dreadful Kidnapping Nikki Simpson / Boek Gebonden (paperback)
common.buy 13.84 €
Lyric Poetic Spirit Jasmine M Orphe / Boek Gebonden (paperback)
common.buy 9.90 €
Snake Coloring Sheets: 30 Snake Drawings, Coloring Sheets Adults Relaxation, Coloring Book for Kids, for Girls, Volume 1 Julian Smith / Boek Gebonden (paperback)
common.buy 7.67 €
New Technological Applications for Foreign and Second Language Learning and Teaching Mariusz Kruk / Boek Gebonden (harde band)
common.buy 234.63 €
#MomBoss Arriel Bivens-Biggs / Boek Gebonden (paperback)
common.buy 19.30 €
The New Vegan Cookbook: Fast & Easy Vegan Mouth-Watering Recipes and Cookbook for Vegans Dr Elizabeth David / Boek Gebonden (paperback)
common.buy 12.12 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?