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

Computer Aided Verification

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification E. Allen Emerson
Codul Libristo: 01567506
Editura Springer, Berlin, noiembrie 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Descrierea completă
? points 318 b
643 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Ephesians Frank S. Thielman / Copertă tare
common.buy 243 lei
Get Going with Kindle Fire in Easy Steps Nick Vandome / Carte broșată
common.buy 40 lei
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Carte broșată
common.buy 503 lei
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Copertă tare
common.buy 643 lei
Ruckkehr Der Zeitmaschine Egon Friedell / Copertă tare
common.buy 284 lei
Phi Phi Island Josef Haslinger / Carte broșată
common.buy 70 lei
Vogesen Curt Mundel / Carte broșată
common.buy 365 lei
Plant Toxin Analysis Hans F. Linskens / Copertă tare
common.buy 1.277 lei
Small Bodies in Planetary Systems I. Mann / Copertă tare
common.buy 326 lei
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Carte broșată
common.buy 706 lei

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

Informații despre carte

Titlu complet Computer Aided Verification
Autor E. Allen Emerson, A. Prasad Sistla
Limba engleză
Legare Carte - Carte broșată
Data publicării 2000
Număr pagini 590
EAN 9783540677703
ISBN 3540677704
Codul Libristo 01567506
Editura Springer, Berlin
Greutatea 894
Dimensiuni 155 x 235 x 30

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
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