phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Formal Methods: Applications and Technology

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods: Applications and Technology Lubos Brim
Codul Libristo: 01568175
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februarie 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Eye of the Wolf Daniel Pennac / Carte broșată
common.buy 42 lei
Ontologie und Dialektik Theodor W. Adorno / Carte broșată
common.buy 101 lei
Terra magica Ostsee-Kreuzfahrt Christian Prager / Copertă tare
common.buy 100 lei
Aerodynamics of Low Reynolds Number Flyers Wei ShyyYongsheng LianJian TangDragos Viieru / Carte broșată
common.buy 337 lei
Marked Point Processes on the Real Line Andreas Brandt / Copertă tare
common.buy 1.442 lei
"Kominform-Konflikt 1948 - Jugoslawiens Revolte gegen Moskaus Hegemonie Damir Hajric / Carte broșată
common.buy 234 lei
Business, Politics and International Relations Clemens WurmPatrick Salmon / Carte broșată
common.buy 270 lei
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Copertă tare
common.buy 48 lei
Blut und Feuer Michael Gratzke / Carte broșată
common.buy 155 lei
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Copertă tare
common.buy 6.811 lei
Less Than Zero Stuart J. Murphy / Carte broșată
common.buy 32 lei
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Carte broșată
common.buy 208 lei
Life Skills Matters Grade 1 Student's Book Erato-Nadia BizosPenny HansenMirna Lawrence / Carte broșată
common.buy 26 lei
curând nou
Unbekanntes München Karl Häusler / Copertă tare
common.buy 79 lei
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Carte broșată
common.buy 391 lei
Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau / Carte broșată
common.buy 297 lei

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

Informații despre carte

Titlu complet Formal Methods: Applications and Technology
Autor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 366
EAN 9783540709510
ISBN 3540709517
Codul Libristo 01568175
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 575
Dimensiuni 155 x 235 x 22

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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 > Systems analysis & design
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

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