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.

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Limba englezăengleză
Carte Carte broșată
Carte Integrated Formal Methods Michael Butler
Codul Libristo: 01564333
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Carte Copertă tare
common.buy 603.94 lei
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Carte Carte broșată
common.buy 293.78 lei
Rumanische Marchen Mite Kremnitz / Carte Carte broșată
common.buy 129.16 lei
Özel Tüketim Vergisi Kanunu / Carte Carte broșată
common.buy 83.81 lei
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Carte Carte broșată
common.buy 260.11 lei
Divan Ahmed Akir Paa / Carte Carte broșată
common.buy 106.33 lei
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Carte Carte broșată
common.buy 163.88 lei
Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Carte Carte broșată
common.buy 322.14 lei
Mein Gestern Manfred Jurgensen / Carte Carte broșată
common.buy 84.44 lei
Apokalypse Adrienne von Speyr / Carte Copertă tare
common.buy 218.61 lei
Neocortext Vojtěch Němec / Carte Carte broșată
common.buy 39.92 lei
Lettres A M. Le Duc de Blacas d'Aulps Relatives Au Musee Royal Egyptien de Turin, 2eme Lettre CHAMPOLLION-J / Carte Carte broșată
common.buy 101.43 lei

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

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 Integrated Formal Methods
Autor Michael Butler, Luigia Petre, Kaisa Sere
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 401
EAN 9783540437031
ISBN 3540437037
Codul Libristo 01564333
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1280
Dimensiuni 155 x 235 x 23

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

Biotechnology Fundamentals Khan / Carte Carte broșată
common.buy 501.77 lei
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Carte Carte broșată
common.buy 310.05 lei
Spawn: Origins Deluxe Edition 3 Brian Holguin / Carte Copertă tare
common.buy 419.41 lei
Sufism Alexander Knysh / Carte Carte broșată
common.buy 168.68 lei
Frankissstein Jeanette Winterson / Carte Carte broșată
common.buy 75.78 lei
Melchizedek: Unmasked Baal Kadmon / Carte Carte broșată
common.buy 81.83 lei
Aesop's Fables Santore Charles / Carte Copertă tare
common.buy 77.97 lei
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Carte Carte broșată
common.buy 184.73 lei
The Critical Care Pocket Guide Sergio Niosi / Carte Carte broșată
common.buy 59.52 lei
Konohana Kitan, Volume 2 Sakuya Amano / E-book Adobe ePub DRM
common.buy 40.86 lei
Destroyer of the gods Larry W. Hurtado / E-book Adobe ePub DRM
common.buy 183.89 lei
The Last Song of Penelope NORTH CLAIRE / Carte Carte broșată
common.buy 87.88 lei
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Carte Carte broșată
common.buy 67.76 lei
Crazy Sexy Diet Kris Carr / Carte Carte broșată
common.buy 127.18 lei
Essential David Bohm Lee Nichol / Carte Carte broșată
common.buy 327.14 lei
Collected Short Stories Aldous Huxley / Carte Carte broșată
common.buy 121.76 lei
Political Thought and the Public Sphere in Tanzania Emma Hunter / Carte Copertă tare
common.buy 700.38 lei
Pandora's Box Trilogy Adam Teachout / Carte Carte broșată
common.buy 106.12 lei
Anti-Money Laundering: What You Need to Know (Jersey fiduciary edition): A concise guide to anti-money laundering and countering the financin Susan Grossey / Carte Carte broșată
common.buy 45.76 lei
Dark Magic Christine Feehan / Carte Carte broșată
common.buy 73.18 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