phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Computer Aided Verification

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Madhusudan Parthasarathy
Libristo kod: 01661539
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2012
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide... Cijeli opis
? points 154 b
61.28 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Soul Plan Blue Marsden / Meki uvez
common.buy 18.41 €
Handbook Markus Sesko / Meki uvez
common.buy 32.90 €
PRIPREMAMO
History of the Second World War B H Liddell Hart / Meki uvez
common.buy 23.04 €
Das Bevölkerungspotential der Sowjetunion. Ernst Eisendrath / Meki uvez
common.buy 21.73 €
Blanche-Neige doit mourir Nele Neuhaus / Meki uvez
common.buy 13.98 €
An Introduction to Structural Optimization Peter W. Christensen / Meki uvez
common.buy 66.61 €
Enserfment Russian Peasant R. E. F. Smith / Meki uvez
common.buy 45.78 €
Hände weg von Mississippi Cornelia Funke / Tvrdi uvez
common.buy 14.08 €
Why and How Addie Chisholm / Meki uvez
common.buy 24.75 €
Gesse wird deheim Svetlana Handschuh / Meki uvez
common.buy 13.27 €
Letters of Two Brides Honoré de Balzac / Meki uvez
common.buy 30.48 €
Extending jQuery Keith Wood / Meki uvez
common.buy 50.41 €

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.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Madhusudan Parthasarathy, Sanjit A. Seshia
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 789
EAN 9783642314230
ISBN 3642314236
Libristo kod 01661539
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1200
Dimenzije 155 x 235 x 44

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun