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

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Aided Verification Kousha Etessami
Libristo-Code: 01560845
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2005
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Vollständige Beschreibung
? points 263 b
107.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Bombolles i tovallola MÜHLE JÖRG / Buch Hardcover
common.buy 17.39 €
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Buch Broschur
common.buy 22.90 €
La Teolosis y la Mujer Dr Elvin Heredia Phd / Buch Broschur
common.buy 11.59 €
Koordinationstraining im Golf Marc Müller-Dargusch / Buch Broschur
common.buy 32.49 €
A l'aube des heures fertiles Debarle / Buch Broschur
common.buy 23.69 €
Histoire des Associations familiales catholiques Michel Emmanuel / Buch Broschur
common.buy 27.69 €
Voyage au bout du monde Chang / Buch Broschur
common.buy 17.89 €
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Buch Broschur
common.buy 54.99 €
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Buch Broschur
common.buy 11.79 €
Fragiler Pluralismus Hans-Georg Soeffner / Buch Broschur
common.buy 37.99 €
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Buch Hardcover
common.buy 348.99 €
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Buch Broschur
common.buy 44.99 €
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag / Buch Blatt
common.buy 9.39 €
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Buch Broschur
common.buy 37.29 €
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Buch Broschur
common.buy 60.59 €
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Buch Broschur
common.buy 15.39 €

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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 Kousha Etessami, Sriram K. Rajamani
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2005
Anzahl der Seiten 568
EAN 9783540272311
ISBN 3540272313
Libristo-Code 01560845
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1800
Abmessungen 155 x 235 x 32

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
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

Contemporary Electroanalytical Chemistry A. Ivaska / Buch Hardcover
common.buy 214.29 €
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Buch Hardcover
common.buy 44.59 €
Flyleaf Volume One: 2014 Flyleaf Journal / Buch Broschur
common.buy 10.69 €
Rogues and Vagabonds George R Sims / Buch Broschur
common.buy 15.39 €
The Claverings Anthony Trollope / Buch Broschur
common.buy 17.09 €
Sexual Mountain and Black Women Writers Calvin C. Hernton / Buch Broschur
common.buy 13.79 €
Ucoa: The Biker Experience Thomas Zimmer / Buch Broschur
common.buy 57.49 €
Big Data Hai Jin / Buch Broschur
common.buy 53.79 €
The Great Boer War Arthur Conan Doyle / Buch Broschur
common.buy 20.59 €
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Buch Broschur
common.buy 14.49 €
Handbook of Essential Oils K. Husnu Can Baser / Buch Hardcover
common.buy 332.59 €
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Buch Broschur
common.buy 20.29 €
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale / Buch Broschur
common.buy 15.59 €
Submissive Training More Sex More Fun Book Club / Buch Broschur
common.buy 16.29 €
Our World 6: Grammar Workbook CRANDALL SHIN / Buch Blatt
common.buy 19.89 €
Max and Moritz Stefan Hollos / Buch Broschur
common.buy 21.89 €
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Buch Broschur
common.buy 27.89 €
Body Intelligence Ph.D. Joseph Cardillo / Hörbuch MP3
common.buy 15.69 €
Decisive Endgame Mikael Carlson / Buch Broschur
common.buy 15.19 €
Digital Nomads B. Vincent / Buch Broschur
common.buy 13.19 €
Dior Fashion Unfolded Vol 02 TEAM FASHIONARY / Buch Hardcover
common.buy 20.49 €
Culture, Ethnicity, and Personal Relationship Processes Gaines / Buch Hardcover
common.buy 205.09 €
Business Basics International Edition: Teacher's Book David Grant / Buch Broschur
common.buy 15.19 €
Handbook of Participatory Video E J Milne / Buch Hardcover
common.buy 229.79 €

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