Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559563
Price: 107.29 EUR
Availability: InStock
Author: Rajeev Alur
ISBN: 9783540223429

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Rajeev Alur

Doron A. Peled

Sprache

Englisch

Buch Broschur

Libristo-Code: 01559563

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2004

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Vollständige Beschreibung

Libristo-Code: 01559563

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

TNM Atlas 7e JD Brierley

Broschur

106.79 €

Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa

Broschur

9.09 €

Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak

Hardcover

13.49 €

Cosa Nostra John Dickie

Broschur

15.19 €

Praha mapa turistických zajímavostí

Karte

2.49 €

PALINODIE Giacomo LEOPARDI

Broschur

9.99 €

Fêtes et Chansons anciennes de la Chine Marcel Granet

Broschur

33.59 €

Maison la plus grande du monde (La) LIONNI

Broschur

9.39 €

Adolescence, maltraitance et placement Van Hooland

Broschur

20.29 €

Offizielle Softballregeln 2018-2021 Thomas Haller

Broschur

8.00 €

Código de insolvencias empresariales Rodriguez Achutegui

Broschur

80.49 €

Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen

Broschur

12.90 €

Harry Potter Tvory a netvory Jody Revenson

Hardcover

17.59 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 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

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 Rajeev Alur, Doron A. Peled

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2004

Anzahl der Seiten 536

EAN 9783540223429

ISBN 3540223428

Libristo-Code 01559563

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1700

Abmessungen 155 x 233 x 30

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

Neuroeconomics MARTIN REUTER

Broschur

171.49 €

Second Language Teacher Education Diane J. Tedick

Broschur

95.89 €

The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers

Broschur

17.09 €

Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk

Broschur

2.19 €

Chasing Time F I Goldhaber

Broschur

11.19 €

Solemn Duty in the Old Guard Mark Joseph Mongilutz

Broschur

36.79 €

More Than Words Vernon Logan

Broschur

17.79 €

Stories of Animal Sagacity W. H. G. Kingston

Broschur

20.59 €

Happiness Andy Cope

Hardcover

16.49 €

Maria The Monarch Homero Aridjis

Broschur

14.49 €

Women Who Move Mountains Sue Detweiler

Broschur

16.59 €

Church of England - Charity Law and Human Rights Kerry O'Halloran

Broschur

107.29 €

Devil's Reign Zdarsky

Broschur

28.49 €

Operatic China D. Lei

Broschur

99.69 €

Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia

Hardcover

33.69 €

Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen

Broschur

53.39 €

Interpretations of Native North American Life Michael S. Nassaney

Broschur

28.79 €

Making Schools Different Kitty te Riele

Hardcover

125.59 €

Pure Cute Beverly West

Hardcover

10.09 €

Swahili Grammar and Workbook Fid?le Mpiranya

Broschur

87.29 €

Exam Essentials: Cambridge First Practice Tests 1 w/key + DV Charles Osborne

Hardcover

47.69 €

Grounded George Brant

Broschur

18.19 €

Beyond Babar Sandra L. Beckett

Adobe ePub DRM

97.69 €

Virtual Machining Using CAMWorks 2021 Kuang-Hua Chang

Broschur

78.49 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Häufig gesucht

Categories

Authors

Publishers

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

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