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 Madhusudan Parthasarathy
Codul Libristo: 01661539
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2012
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide... 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

top
Soul Plan Blue Marsden / Carte broșată
common.buy 88 lei
top
Handbook Markus Sesko / Carte broșată
common.buy 175 lei
top curând
History of the Second World War B H Liddell Hart / Carte broșată
common.buy 117 lei
Gesse wird deheim Svetlana Handschuh / Carte broșată
common.buy 67 lei
Das Bevölkerungspotential der Sowjetunion. Ernst Eisendrath / Carte broșată
common.buy 111 lei
Blanche-Neige doit mourir Nele Neuhaus / Carte broșată
common.buy 74 lei
An Introduction to Structural Optimization Peter W. Christensen / Carte broșată
common.buy 353 lei
Enserfment Russian Peasant R. E. F. Smith / Carte broșată
common.buy 242 lei
Hände weg von Mississippi Cornelia Funke / Copertă tare
common.buy 62 lei
Why and How Addie Chisholm / Carte broșată
common.buy 130 lei
Letters of Two Brides Honoré de Balzac / Carte broșată
common.buy 160 lei
Extending jQuery Keith Wood / Carte broșată
common.buy 267 lei
Kennzeichnung in der Apotheke Claudia Brüchert / Carte broșată
common.buy 180 lei

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

Informații despre carte

Titlu complet Computer Aided Verification
Autor Madhusudan Parthasarathy, Sanjit A. Seshia
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 789
EAN 9783642314230
ISBN 3642314236
Codul Libristo 01661539
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1200
Dimensiuni 155 x 235 x 44

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer hardware
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