Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Specification

Techniques and Applications

Limba englezăengleză
Carte Carte broșată
Carte Formal Specification Nimal Nissanke
Codul Libristo: 06798524
Editura Springer, Berlin, iulie 1999
Formal Specification provides the reader with a practical and versatile approach to constructing pro... Descrierea completă
? points 129 b
279.17 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Weil das Leben fragt Josef Hiebaum / Carte Carte broșată
common.buy 119.21 lei
fotovoltaico per tutti. Manuale pratico per esperti e meno esperti Francesco Groppi / Carte Carte broșată
common.buy 155.17 lei
Einführung in die Kunstpädagogik Georg Peez / Carte Carte broșată
common.buy 152.16 lei
Top
Bully - Szívatás Douglas / Carte Carte broșată
common.buy 67.55 lei
Rebecca Malcolm Jones / Carte Carte broșată
common.buy 122.12 lei
?ric i l'Exèrcit del Fènix. Bertran Martínez / Carte Carte broșată
common.buy 87.82 lei
Bola de Drac Definitiva nº 15/34 Akira Toriyama / Carte Carte broșată
common.buy 75.76 lei
Aus meinem Leben; Dichtung und Wahrheit Peter Sprengel / Carte Copertă tare
common.buy 279.69 lei
Poste d'aiguillage Resplendino / Carte Carte broșată
common.buy 89.79 lei
Docteur, rendez-moi ma liberté - Euthanasie : un médecin belge témoigne... Yves de Locht / Carte Carte broșată
common.buy 119.73 lei
Dragon Ball Super nº 06 Akira Toriyama / Audio Audio CD
common.buy 50.82 lei
Le Procede La Gomme Bichromatee Ou Photo-Aquateinte (1898) Alfred Ogle Maskell / Carte Carte broșată
common.buy 116.61 lei
Festschrift Zur Feier Des 50 Jahrigen Bestehens Der Liebig-Realschule Zu Frankfurt A.Main Am 18. Juni 1905 Anonymous / Carte Carte broșată
common.buy 116.61 lei
Z deníku dočaskářky Ten pes je chuligán! Olga Minaříková / Carte Copertă tare
common.buy 19.43 lei
EL ORIGEN DE LOS OTROS TONI MORRISON / Carte Copertă tare
common.buy 82.00 lei
Fotografía para todos : más de 300 trucos y consejos de los grandes expertos AA. VV. / Carte Carte broșată
common.buy 149.77 lei
Neues Museum des Witzes und der Laune : eine humoristische Anthologie Ernst Ortlepp / Carte Carte broșată
common.buy 86.78 lei
Grundlagen Des Operations Research 3 Tomas Gal / Carte Copertă tare
common.buy 260.98 lei
Unternehmensfuhrung im Handelsbetrieb Wolfgang Oehme / Carte Carte broșată
common.buy 319.50 lei
Vadims Methode Vadim Tschenze / Carte Carte broșată
common.buy 70.36 lei
Percy Jackson - Die Schlacht um das Labyrinth (Percy Jackson 4) Rick Riordan / Carte Copertă tare
common.buy 80.54 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Specification
Autor Nimal Nissanke
Limba engleză
Legare Carte - Carte broșată
Data publicării 1999
Număr pagini 295
EAN 9781852330026
ISBN 1852330023
Codul Libristo 06798524
Editura Springer, Berlin
Greutatea 488
Dimensiuni 156 x 234 x 16

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

The Doomsday Mother: Lori Vallow, Chad Daybell, and the End of an American Family Glatt / Carte Carte broșată
common.buy 55.18 lei
Ayurveda and Acupuncture Frank Ros / Carte Carte broșată
common.buy 92.39 lei
Wars of the Roses John Ashdown-Hill / Carte Carte broșată
common.buy 77.94 lei
Perennials for the Pacific Northwest: 500 Best Plants for Flower Gardens Marty Wingate / Carte Carte broșată
common.buy 110.58 lei
Rigid Body Dynamics For Beginners: Euler angles & Quaternions Phil Kim / Carte Carte broșată
common.buy 200.59 lei
Your Career as a Fashion Designer Institute for Career Research / Carte Carte broșată
common.buy 59.55 lei
How To Write A Good Advertisement Victor O Schwab / Carte Copertă tare
common.buy 189.37 lei
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Alessandro Fantechi / Carte Carte broșată
common.buy 285.10 lei
International Criminal Law and Sexual Violence against Women Daniela (Queen Mary University of London UK) Nadj / Carte Copertă tare
common.buy 1 143.53 lei
Deutsche Thesen gegen den Papst und seine Dunkelmanner - Antikatholische Erzahlungen Oskar Panizza / Carte Carte broșată
common.buy 52.17 lei
The Christmas Spirit MACOMBER DEBBIE / Carte Carte broșată
common.buy 44.37 lei
Routledge Companion to Digital Ethnography Larissa Hjorth / Carte Carte broșată
common.buy 394.34 lei
The Crowd in the French Revolution George F. E. Rudé / Carte Carte broșată
common.buy 126.80 lei
Days and Deeds: A Book of Verse for Children's Reading and Speaking (1906) Burton Egbert Stevenson / Carte Carte broșată
common.buy 204.75 lei
Last Stop David Patterson / Carte Carte broșată
common.buy 81.58 lei
Hydroponics DIY: Beginners Guide On How To Design And Build your Greenhouse Garden For Growing Plants In Water Nick Baras / Carte Carte broșată
common.buy 76.59 lei
Late Capitalist Fascism Mikkel Bolt Rasmussen / Carte Copertă tare
common.buy 230.11 lei
War in Texas Benjamin Lundy / Carte Copertă tare
common.buy 163.38 lei
Project Puffin Stephen W. Kress / Carte Carte broșată
common.buy 127.52 lei
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 / Carte Carte broșată
common.buy 147.17 lei
Applying a Health Lens to Decision Making in Non-Health Sectors Roundtable on Population Health Improvement / Carte Carte broșată
common.buy 235.52 lei
Professional Content Management Systems - Handling Digital Media Assets Andreas Mauthe / Carte Copertă tare
common.buy 682.87 lei
Henry and the Big Wish Laura Watkins / Carte Copertă tare
common.buy 48.22 lei
Where Skies are Not Cloudy W. McDonald / Carte Carte broșată
common.buy 69.00 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?