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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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.58 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Weil das Leben fragt Josef Hiebaum / Knjiga Meki uvez
common.buy 21.44 €
Bully - Szívatás Douglas / Knjiga Meki uvez
common.buy 12.13 €
Einführung in die Kunstpädagogik Georg Peez / Knjiga Meki uvez
common.buy 27.51 €
Rebecca Malcolm Jones / Knjiga Meki uvez
common.buy 22.25 €
?ric i l'Exèrcit del Fènix. Bertran Martínez / Knjiga Meki uvez
common.buy 15.07 €
Bola de Drac Definitiva nº 15/34 Akira Toriyama / Knjiga Meki uvez
common.buy 16.48 €
Aus meinem Leben; Dichtung und Wahrheit Peter Sprengel / Knjiga Tvrdi uvez
common.buy 50.38 €
Poste d'aiguillage Resplendino / Knjiga Meki uvez
common.buy 16.28 €
Docteur, rendez-moi ma liberté - Euthanasie : un médecin belge témoigne... Yves de Locht / Knjiga Meki uvez
common.buy 21.74 €
Dragon Ball Super nº 06 Akira Toriyama / Audio Audio CD
common.buy 11.22 €
Le Procede La Gomme Bichromatee Ou Photo-Aquateinte (1898) Alfred Ogle Maskell / Knjiga Meki uvez
common.buy 21.24 €
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.24 €
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 12.84 €
Fotografía para todos : más de 300 trucos y consejos de los grandes expertos AA. VV. / Knjiga Meki uvez
common.buy 25.69 €
Neues Museum des Witzes und der Laune : eine humoristische Anthologie Ernst Ortlepp / Knjiga Meki uvez
common.buy 15.57 €
Grundlagen Des Operations Research 3 Tomas Gal / Knjiga Tvrdi uvez
common.buy 47.24 €
Unternehmensfuhrung im Handelsbetrieb Wolfgang Oehme / Knjiga Meki uvez
common.buy 57.86 €
Vadims Methode Vadim Tschenze / Knjiga Meki uvez
common.buy 12.64 €
Percy Jackson - Die Schlacht um das Labyrinth (Percy Jackson 4) Rick Riordan / Knjiga Tvrdi uvez
common.buy 14.46 €

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

Ayurveda and Acupuncture Frank Ros / Knjiga Meki uvez
common.buy 16.68 €
Jean Cocteau: The Juggler's Revenge Kenneth E Silver / Knjiga Meki uvez
common.buy 39.85 €
Perennials for the Pacific Northwest: 500 Best Plants for Flower Gardens Marty Wingate / Knjiga Meki uvez
common.buy 20.02 €
The Christmas Spirit MACOMBER DEBBIE / Knjiga Meki uvez
common.buy 7.88 €
Rigid Body Dynamics For Beginners: Euler angles & Quaternions Phil Kim / Knjiga Meki uvez
common.buy 36.41 €
Your Career as a Fashion Designer Institute for Career Research / Knjiga Meki uvez
common.buy 10.82 €
How To Write A Good Advertisement Victor O Schwab / Knjiga Tvrdi uvez
common.buy 34.49 €
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Alessandro Fantechi / Knjiga Meki uvez
common.buy 51.69 €
International Criminal Law and Sexual Violence against Women Daniela (Queen Mary University of London UK) Nadj / Knjiga Tvrdi uvez
common.buy 209.13 €
Deutsche Thesen gegen den Papst und seine Dunkelmanner - Antikatholische Erzahlungen Oskar Panizza / Knjiga Meki uvez
common.buy 9.40 €
Wars of the Roses John Ashdown-Hill / Knjiga Meki uvez
common.buy 13.95 €
Routledge Companion to Digital Ethnography Larissa Hjorth / Knjiga Meki uvez
common.buy 72.13 €
The Doomsday Mother: Lori Vallow, Chad Daybell, and the End of an American Family Glatt / Knjiga Meki uvez
common.buy 9.70 €
The Crowd in the French Revolution George F. E. Rudé / Knjiga Meki uvez
common.buy 23.06 €
Days and Deeds: A Book of Verse for Children's Reading and Speaking (1906) Burton Egbert Stevenson / Knjiga Meki uvez
common.buy 37.32 €
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.95 €
Last Stop David Patterson / Knjiga Meki uvez
common.buy 14.86 €
Late Capitalist Fascism Mikkel Bolt Rasmussen / Knjiga Tvrdi uvez
common.buy 41.68 €
War in Texas Benjamin Lundy / Knjiga Tvrdi uvez
common.buy 29.74 €
Project Puffin Stephen W. Kress / Knjiga Meki uvez
common.buy 23.87 €
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.12 €
Applying a Health Lens to Decision Making in Non-Health Sectors Roundtable on Population Health Improvement / Knjiga Meki uvez
common.buy 43.09 €
Professional Content Management Systems - Handling Digital Media Assets Andreas Mauthe / Knjiga Tvrdi uvez
common.buy 122.82 €
Henry and the Big Wish Laura Watkins / Knjiga Tvrdi uvez
common.buy 8.69 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?