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.99 €
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 249 b
101.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Bombolles i tovallola MÜHLE JÖRG / Buch Hardcover
common.buy 16.49 €
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Buch Broschur
common.buy 22.90 €
Promisi n CARLOS MAR OCANTOS / Buch Broschur
common.buy 19.99 €
La Teolosis y la Mujer Dr Elvin Heredia Phd / Buch Broschur
common.buy 9.39 €
Koordinationstraining im Golf Marc Müller-Dargusch / Buch Broschur
common.buy 28.80 €
A l'aube des heures fertiles Debarle / Buch Broschur
common.buy 18.49 €
Histoire des Associations familiales catholiques Michel Emmanuel / Buch Broschur
common.buy 21.79 €
Voyage au bout du monde Chang / Buch Broschur
common.buy 13.89 €
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Buch Broschur
common.buy 43.39 €
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Buch Broschur
common.buy 35.29 €
Fragiler Pluralismus Hans-Georg Soeffner / Buch Broschur
common.buy 37.99 €
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Buch Hardcover
common.buy 305.29 €
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 7.99 €
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Buch Broschur
common.buy 57.19 €
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Buch Broschur
common.buy 15.39 €
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Buch Broschur
common.buy 9.59 €

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 203.39 €
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 8.69 €
Rogues and Vagabonds George R Sims / Buch Broschur
common.buy 12.39 €
Sexual Mountain and Black Women Writers Calvin C. Hernton / Buch Broschur
common.buy 10.79 €
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 12.59 €
Ucoa: The Biker Experience Thomas Zimmer / Buch Broschur
common.buy 46.29 €
Big Data Hai Jin / Buch Broschur
common.buy 51.09 €
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 322.19 €
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Buch Broschur
common.buy 20.29 €
The Claverings Anthony Trollope / Buch Broschur
common.buy 13.79 €
Submissive Training More Sex More Fun Book Club / Buch Broschur
common.buy 13.19 €
Our World 6: Grammar Workbook CRANDALL SHIN / Buch Blatt
common.buy 14.19 €
Max and Moritz Stefan Hollos / Buch Broschur
common.buy 17.69 €
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Buch Broschur
common.buy 22.69 €
Body Intelligence Ph.D. Joseph Cardillo / Hörbuch MP3
common.buy 15.89 €
Decisive Endgame Mikael Carlson / Buch Broschur
common.buy 12.39 €
Digital Nomads B. Vincent / Buch Broschur
common.buy 10.79 €
Dior Fashion Unfolded Vol 02 TEAM FASHIONARY / Buch Hardcover
common.buy 15.59 €
Juan Sebastian Bach Dr Adalberto Garcia De Mendoza / Buch Broschur
common.buy 12.09 €
Business Basics International Edition: Teacher's Book David Grant / Buch Broschur
common.buy 14.49 €
Handbook of Participatory Video E J Milne / Buch Hardcover
common.buy 185.19 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?