Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

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 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Paladear con el cerebro Francisco Javier Cudeiro Mazaira / Knjiga Meki uvez
common.buy 14.74 €
Soupis staročeských exempel Karel Dvořák / Knjiga Tvrdi uvez
common.buy 9.08 €
Grammaire Anglaise Anne-Marie Bonnerot / Knjiga Meki uvez
common.buy 4.23 €
Netzwerk Stefanie Dengler / Knjiga Meki uvez
common.buy 20.81 €
Tonio Kröger Thomas Mann / Knjiga Meki uvez
common.buy 11.41 €
Gesse wird deheim Svetlana Handschuh / Knjiga Meki uvez
common.buy 13.03 €
Hände weg von Mississippi Cornelia Funke / Knjiga Tvrdi uvez
common.buy 11.91 €
Die Radiotrinkerin Max Goldt / Knjiga Meki uvez
common.buy 12.62 €
Das Bevölkerungspotential der Sowjetunion. Ernst Eisendrath / Knjiga Meki uvez
common.buy 20.91 €
Blanche-Neige doit mourir Nele Neuhaus / Knjiga Meki uvez
common.buy 13.33 €
Karl May Moc fantázie Helmut Schmiedt / Knjiga Tvrdi uvez
common.buy 15.35 €
Nunca mas olvidada Christina McKnight / E-knjiga Adobe ePub DRM
common.buy 4.74 €
La Guerre au XXIe siecle Murawiec Laurent Murawiec / E-knjiga Adobe ePub DRM
common.buy 17.27 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

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

Moglo bi vas zanimati i

Eumon the Treleum F R Kenabiget / Knjiga Tvrdi uvez
common.buy 19.39 €
RIGBY PM PLUS Rigby / Knjiga Meki uvez
common.buy 56.58 €
No-Nonsense Guide to Heat Wave, Drought, & Hot Weather Safety Jeffery Sims / Knjiga Meki uvez
common.buy 11.31 €
Life and Times of A Black Man from Georgia Coach James Carr / Knjiga Meki uvez
common.buy 18.28 €
Waste Books Georg Lichtenberg / Knjiga Meki uvez
common.buy 14.24 €
Walking the Tightrope of Reason Robert Fogelin / Knjiga Meki uvez
common.buy 19.59 €
Atlas of Nevada Conifers David Alan Charlet / Knjiga Meki uvez
common.buy 33.74 €
101 Recipes for Making Cheese Cynthia Martin / Knjiga Meki uvez
common.buy 29.40 €
Forensic Sciences of CSI Elke Weissmann / Knjiga Meki uvez
common.buy 82.05 €
Callback Bill Svanoe / Knjiga Meki uvez
common.buy 14.84 €
Lutchmee and Dilloo John Edward Jenkins / Knjiga Meki uvez
common.buy 25.86 €
To the Point of a Powerful Return Janice Darty / Knjiga Meki uvez
common.buy 17.37 €
Django 1.1 Testing and Debugging K. Tracey / Knjiga Meki uvez
common.buy 56.18 €
Britcoms FAQ Dave Thompson / Knjiga Meki uvez
common.buy 21.41 €
Space Explorers McGraw-Hill Education / Knjiga Meki uvez
common.buy 23.84 €
M-Step Grade 8 English Language Arts Flashcard Study System: M-Step Test Practice Questions and Exam Review for the Michigan Student Test of Education M-Step Exam Secrets Test Prep / Igra/Igračka Igra
common.buy 40.21 €
Fatigue of the Shari'a A. Ahmad / Knjiga Meki uvez
common.buy 53.24 €
European Union and the BRICS Marek Rewizorski / Knjiga Meki uvez
common.buy 51.63 €
How Hard Can It Be? Allison Pearson / Knjiga Meki uvez
common.buy 11.81 €
Multiplicative Invariant Theory Martin Lorenz / Knjiga Meki uvez
common.buy 113.17 €
Steel Wheels Live Rolling Stones / Knjiga binding.
common.buy 51.73 €
A Handbook Of Rocks: For Use Without The Petrographic Microscope James Furman Kemp / Knjiga Tvrdi uvez
common.buy 36.17 €
Soul Plan Blue Marsden / Knjiga Meki uvez
common.buy 17.07 €
Extending jQuery Keith Wood / Knjiga Meki uvez
common.buy 49.00 €

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