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.

Formal Specification

Techniques and Applications

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Specification Nimal Nissanke
Libristo-code: 06798524
Uitgeverij Springer, Berlin, juli 1999
Formal Specification provides the reader with a practical and versatile approach to constructing pro... Volledige beschrijving
? points 122 b
50.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Weil das Leben fragt Josef Hiebaum / Boek Gebonden (paperback)
common.buy 21.46 €
fotovoltaico per tutti. Manuale pratico per esperti e meno esperti Francesco Groppi / Boek Gebonden (paperback)
common.buy 29.67 €
Einführung in die Kunstpädagogik Georg Peez / Boek Gebonden (paperback)
common.buy 27.54 €
TOP
Bully - Szívatás Douglas / Boek Gebonden (paperback)
common.buy 12.85 €
Rebecca Malcolm Jones / Boek Gebonden (paperback)
common.buy 22.27 €
?ric i l'Exèrcit del Fènix. Bertran Martínez / Boek Gebonden (paperback)
common.buy 16.80 €
Bola de Drac Definitiva nº 15/34 Akira Toriyama / Boek Gebonden (paperback)
common.buy 14.47 €
Aus meinem Leben; Dichtung und Wahrheit Peter Sprengel / Boek Gebonden (harde band)
common.buy 56.40 €
Poste d'aiguillage Resplendino / Boek Gebonden (paperback)
common.buy 17.21 €
Docteur, rendez-moi ma liberté - Euthanasie : un médecin belge témoigne... Yves de Locht / Boek Gebonden (paperback)
common.buy 22.88 €
Dragon Ball Super nº 06 Akira Toriyama / Audio Audio cd
common.buy 9.71 €
Le Procede La Gomme Bichromatee Ou Photo-Aquateinte (1898) Alfred Ogle Maskell / Boek Gebonden (paperback)
common.buy 21.26 €
Festschrift Zur Feier Des 50 Jahrigen Bestehens Der Liebig-Realschule Zu Frankfurt A.Main Am 18. Juni 1905 Anonymous / Boek Gebonden (paperback)
common.buy 21.26 €
Z deníku dočaskářky Ten pes je chuligán! Olga Minaříková / Boek Gebonden (harde band)
common.buy 3.53 €
EL ORIGEN DE LOS OTROS TONI MORRISON / Boek Gebonden (harde band)
common.buy 14.88 €
Fotografía para todos : más de 300 trucos y consejos de los grandes expertos AA. VV. / Boek Gebonden (paperback)
common.buy 28.65 €
Neues Museum des Witzes und der Laune : eine humoristische Anthologie Ernst Ortlepp / Boek Gebonden (paperback)
common.buy 15.59 €
Grundlagen Des Operations Research 3 Tomas Gal / Boek Gebonden (harde band)
common.buy 47.29 €
Unternehmensfuhrung im Handelsbetrieb Wolfgang Oehme / Boek Gebonden (paperback)
common.buy 57.92 €
Vadims Methode Vadim Tschenze / Boek Gebonden (paperback)
common.buy 12.65 €
Percy Jackson - Die Schlacht um das Labyrinth (Percy Jackson 4) Rick Riordan / Boek Gebonden (harde band)
common.buy 14.47 €

Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.

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 Formal Specification
Auteur Nimal Nissanke
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1999
Aantal pagina's 295
EAN 9781852330026
ISBN 1852330023
Libristo-code 06798524
Uitgeverij Springer, Berlin
Gewicht 488
Afmetingen 156 x 234 x 16

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

The Doomsday Mother: Lori Vallow, Chad Daybell, and the End of an American Family Glatt / Boek Gebonden (paperback)
common.buy 9.92 €
Ayurveda and Acupuncture Frank Ros / Boek Gebonden (paperback)
common.buy 16.70 €
Wars of the Roses John Ashdown-Hill / Boek Gebonden (paperback)
common.buy 14.88 €
Perennials for the Pacific Northwest: 500 Best Plants for Flower Gardens Marty Wingate / Boek Gebonden (paperback)
common.buy 20.04 €
Rigid Body Dynamics For Beginners: Euler angles & Quaternions Phil Kim / Boek Gebonden (paperback)
common.buy 36.45 €
Your Career as a Fashion Designer Institute for Career Research / Boek Gebonden (paperback)
common.buy 10.83 €
How To Write A Good Advertisement Victor O Schwab / Boek Gebonden (harde band)
common.buy 34.53 €
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Alessandro Fantechi / Boek Gebonden (paperback)
common.buy 51.75 €
International Criminal Law and Sexual Violence against Women Daniela (Queen Mary University of London UK) Nadj / Boek Gebonden (harde band)
common.buy 209.34 €
Deutsche Thesen gegen den Papst und seine Dunkelmanner - Antikatholische Erzahlungen Oskar Panizza / Boek Gebonden (paperback)
common.buy 9.41 €
The Christmas Spirit MACOMBER DEBBIE / Boek Gebonden (paperback)
common.buy 7.89 €
Routledge Companion to Digital Ethnography Larissa Hjorth / Boek Gebonden (paperback)
common.buy 72.20 €
The Crowd in the French Revolution George F. E. Rudé / Boek Gebonden (paperback)
common.buy 23.08 €
Days and Deeds: A Book of Verse for Children's Reading and Speaking (1906) Burton Egbert Stevenson / Boek Gebonden (paperback)
common.buy 37.36 €
Last Stop David Patterson / Boek Gebonden (paperback)
common.buy 14.88 €
Hydroponics DIY: Beginners Guide On How To Design And Build your Greenhouse Garden For Growing Plants In Water Nick Baras / Boek Gebonden (paperback)
common.buy 13.97 €
Late Capitalist Fascism Mikkel Bolt Rasmussen / Boek Gebonden (harde band)
common.buy 46.18 €
War in Texas Benjamin Lundy / Boek Gebonden (harde band)
common.buy 29.77 €
Project Puffin Stephen W. Kress / Boek Gebonden (paperback)
common.buy 23.28 €
Light Cavalry Brigade in the Crimea. Extracts from the Letters and Journal of the Late Gen. Lord G. Paget During the Crimean War. with a Map. Edited b Cecil Stratford Paget / Boek Gebonden (paperback)
common.buy 29.67 €
Applying a Health Lens to Decision Making in Non-Health Sectors Roundtable on Population Health Improvement / Boek Gebonden (paperback)
common.buy 43.14 €
Professional Content Management Systems - Handling Digital Media Assets Andreas Mauthe / Boek Gebonden (harde band)
common.buy 130.54 €
Henry and the Big Wish Laura Watkins / Boek Gebonden (harde band)
common.buy 8.70 €
Where Skies are Not Cloudy W. McDonald / Boek Gebonden (paperback)
common.buy 12.55 €

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?