Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Computer Aided Verification

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

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Aided Verification Madhusudan Parthasarathy
Libristo-Code: 01661539
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2012
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Paladear con el cerebro Francisco Javier Cudeiro Mazaira / Buch Broschur
common.buy 15.99 €
Soupis staročeských exempel Karel Dvořák / Buch Hardcover
common.buy 10.29 €
Grammaire Anglaise Anne-Marie Bonnerot / Buch Broschur
common.buy 4.59 €
Netzwerk Stefanie Dengler / Buch Broschur
common.buy 21.49 €
Tonio Kröger Thomas Mann / Buch Broschur
common.buy 12.49 €
Gesse wird deheim Svetlana Handschuh / Buch Broschur
common.buy 14.90 €
Hände weg von Mississippi Cornelia Funke / Buch Hardcover
common.buy 14.00 €
Die Radiotrinkerin Max Goldt / Buch Broschur
common.buy 14.00 €
Das Bevölkerungspotential der Sowjetunion. Ernst Eisendrath / Buch Broschur
common.buy 22.79 €
Blanche-Neige doit mourir Nele Neuhaus / Buch Broschur
common.buy 14.39 €
Karl May Moc fantázie Helmut Schmiedt / Buch Hardcover
common.buy 17.49 €
Nunca mas olvidada Christina McKnight / E-Book Adobe ePub DRM
common.buy 5.09 €
La Guerre au XXIe siecle Murawiec Laurent Murawiec / E-Book Adobe ePub DRM
common.buy 19.19 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computer Aided Verification
Autor Madhusudan Parthasarathy, Sanjit A. Seshia
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 789
EAN 9783642314230
ISBN 3642314236
Libristo-Code 01661539
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1200
Abmessungen 155 x 235 x 44

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Computerhardware
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Eumon the Treleum F R Kenabiget / Buch Hardcover
common.buy 20.39 €
RIGBY PM PLUS Rigby / Buch Broschur
common.buy 59.09 €
No-Nonsense Guide to Heat Wave, Drought, & Hot Weather Safety Jeffery Sims / Buch Broschur
common.buy 11.79 €
Life and Times of A Black Man from Georgia Coach James Carr / Buch Broschur
common.buy 18.89 €
Waste Books Georg Lichtenberg / Buch Broschur
common.buy 14.99 €
Walking the Tightrope of Reason Robert Fogelin / Buch Broschur
common.buy 21.39 €
Atlas of Nevada Conifers David Alan Charlet / Buch Broschur
common.buy 36.89 €
101 Recipes for Making Cheese Cynthia Martin / Buch Broschur
common.buy 30.69 €
Forensic Sciences of CSI Elke Weissmann / Buch Broschur
common.buy 85.09 €
Callback Bill Svanoe / Buch Broschur
common.buy 15.49 €
Lutchmee and Dilloo John Edward Jenkins / Buch Broschur
common.buy 27.19 €
To the Point of a Powerful Return Janice Darty / Buch Broschur
common.buy 17.99 €
Django 1.1 Testing and Debugging K. Tracey / Buch Broschur
common.buy 58.29 €
Britcoms FAQ Dave Thompson / Buch Broschur
common.buy 21.19 €
Space Explorers McGraw-Hill Education / Buch Broschur
common.buy 24.69 €
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 / Spiel/Spielzeug Spiel
common.buy 41.99 €
Fatigue of the Shari'a A. Ahmad / Buch Broschur
common.buy 55.49 €
European Union and the BRICS Marek Rewizorski / Buch Broschur
common.buy 53.79 €
How Hard Can It Be? Allison Pearson / Buch Broschur
common.buy 12.49 €
Multiplicative Invariant Theory Martin Lorenz / Buch Broschur
common.buy 117.99 €
Steel Wheels Live Rolling Stones / Buch binding.
common.buy 58.69 €
A Handbook Of Rocks: For Use Without The Petrographic Microscope James Furman Kemp / Buch Hardcover
common.buy 37.49 €
Soul Plan Blue Marsden / Buch Broschur
common.buy 17.99 €
Extending jQuery Keith Wood / Buch Broschur
common.buy 50.69 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto