Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Specification

Techniques and Applications

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Specification Nimal Nissanke
Libristo kod: 06798524
Nakladnici Springer, Berlin, srpanj 1999
Formal Specification provides the reader with a practical and versatile approach to constructing pro... Cijeli opis
? points 122 b
50.52 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

fotovoltaico per tutti. Manuale pratico per esperti e meno esperti Francesco Groppi / Knjiga Meki uvez
common.buy 28.28 €
Bola de Drac Definitiva nº 15/34 Akira Toriyama / Knjiga Meki uvez
common.buy 13.73 €
?ric i l'Exèrcit del Fènix. Bertran Martínez / Knjiga Meki uvez
common.buy 15.96 €
Einführung in die Kunstpädagogik Georg Peez / Knjiga Meki uvez
common.buy 27.48 €
Top
Bully - Szívatás Douglas / Knjiga Meki uvez
common.buy 12.12 €
Weil das Leben fragt Josef Hiebaum / Knjiga Meki uvez
common.buy 21.41 €
Rebecca Malcolm Jones / Knjiga Meki uvez
common.buy 22.22 €
Poste d'aiguillage Resplendino / Knjiga Meki uvez
common.buy 16.36 €
Docteur, rendez-moi ma liberté - Euthanasie : un médecin belge témoigne... Yves de Locht / Knjiga Meki uvez
common.buy 21.82 €
Festschrift Zur Feier Des 50 Jahrigen Bestehens Der Liebig-Realschule Zu Frankfurt A.Main Am 18. Juni 1905 Anonymous / Knjiga Meki uvez
common.buy 21.21 €
Z deníku dočaskářky Ten pes je chuligán! Olga Minaříková / Knjiga Tvrdi uvez
common.buy 3.53 €
EL ORIGEN DE LOS OTROS TONI MORRISON / Knjiga Tvrdi uvez
common.buy 14.84 €
Fotografía para todos : más de 300 trucos y consejos de los grandes expertos AA. VV. / Knjiga Meki uvez
common.buy 27.17 €
Neues Museum des Witzes und der Laune : eine humoristische Anthologie Ernst Ortlepp / Knjiga Meki uvez
common.buy 15.55 €
Grundlagen Des Operations Research 3 Tomas Gal / Knjiga Tvrdi uvez
common.buy 47.18 €
Unternehmensfuhrung im Handelsbetrieb Wolfgang Oehme / Knjiga Meki uvez
common.buy 57.79 €
Vadims Methode Vadim Tschenze / Knjiga Meki uvez
common.buy 12.62 €
Aus meinem Leben; Dichtung und Wahrheit Peter Sprengel / Knjiga Tvrdi uvez
common.buy 50.31 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Specification
Autor Nimal Nissanke
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1999
Broj stranica 295
EAN 9781852330026
ISBN 1852330023
Libristo kod 06798524
Nakladnici Springer, Berlin
Težina 488
Dimenzije 156 x 234 x 16

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Sun-Maid; A Romance. by the Author of Artiste, Victor Lescar Grant Maria M / Knjiga Tvrdi uvez
common.buy 40.11 €
Last Stop David Patterson / Knjiga Meki uvez
common.buy 14.84 €
Days and Deeds: A Book of Verse for Children's Reading and Speaking (1906) Burton Egbert Stevenson / Knjiga Meki uvez
common.buy 37.28 €
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Alessandro Fantechi / Knjiga Meki uvez
common.buy 51.63 €
How To Write A Good Advertisement Victor O Schwab / Knjiga Tvrdi uvez
common.buy 34.45 €
Your Career as a Fashion Designer Institute for Career Research / Knjiga Meki uvez
common.buy 10.80 €
Rigid Body Dynamics For Beginners: Euler angles & Quaternions Phil Kim / Knjiga Meki uvez
common.buy 36.37 €
The Doomsday Mother: Lori Vallow, Chad Daybell, and the End of an American Family Glatt / Knjiga Meki uvez
common.buy 9.89 €
Perennials for the Pacific Northwest: 500 Best Plants for Flower Gardens Marty Wingate / Knjiga Meki uvez
common.buy 20.00 €
Wars of the Roses John Ashdown-Hill / Knjiga Meki uvez
common.buy 13.94 €
Hydroponics DIY: Beginners Guide On How To Design And Build your Greenhouse Garden For Growing Plants In Water Nick Baras / Knjiga Meki uvez
common.buy 13.94 €
Ayurveda and Acupuncture Frank Ros / Knjiga Meki uvez
common.buy 16.66 €
Haunted James Herbert / Knjiga Meki uvez
common.buy 10.80 €
Cases in the Exchequer John Jervis Edward Younge / Knjiga Tvrdi uvez
common.buy 42.94 €
Routledge History of Chinese Philosophy Bo Mou / Knjiga Meki uvez
common.buy 82.45 €
THE POETS AND POETRY OF SPRINGFIELD IN M CHARLES H. BARROWS / Knjiga Meki uvez
common.buy 19.39 €
Empirical Essays in Open Economy Macroeconomics Alexander Darku / Knjiga Meki uvez
common.buy 70.83 €
Jean Cocteau: The Juggler's Revenge Kenneth E Silver / Knjiga Meki uvez
common.buy 40.01 €
Rest of God Mark Buchanan / Knjiga Meki uvez
common.buy 15.75 €
Henry and the Big Wish Laura Watkins / Knjiga Tvrdi uvez
common.buy 8.68 €
Professional Content Management Systems - Handling Digital Media Assets Andreas Mauthe / Knjiga Tvrdi uvez
common.buy 123.07 €
Applying a Health Lens to Decision Making in Non-Health Sectors Roundtable on Population Health Improvement / Knjiga Meki uvez
common.buy 43.04 €
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 / Knjiga Meki uvez
common.buy 28.08 €
Project Puffin Stephen W. Kress / Knjiga Meki uvez
common.buy 23.23 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun