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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559563
Price: 103.1 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

249 b

103.10 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

TNM Atlas 7e JD Brierley

Broschur

102.99 €

Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa

Broschur

8.70 €

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

Hardcover

12.95 €

Cosa Nostra John Dickie

Broschur

14.57 €

PALINODIE Giacomo LEOPARDI

Broschur

9.71 €

Fêtes et Chansons anciennes de la Chine Marcel Granet

Broschur

32.60 €

Maison la plus grande du monde (La) LIONNI

Broschur

9.11 €

Adolescence, maltraitance et placement Van Hooland

Broschur

19.33 €

Offizielle Softballregeln 2018-2021 Thomas Haller

Broschur

7.38 €

Código de insolvencias empresariales Rodriguez Achutegui

Broschur

77.98 €

Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen

Broschur

11.74 €

Harry Potter Tvory a netvory Jody Revenson

Hardcover

17.82 €

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

164.78 €

Second Language Teacher Education Diane J. Tedick

Broschur

97.12 €

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

Broschur

17.31 €

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

Broschur

2.22 €

Chasing Time F I Goldhaber

Broschur

11.33 €

Solemn Duty in the Old Guard Mark Joseph Mongilutz

Broschur

37.26 €

More Than Words Vernon Logan

Broschur

18.02 €

Stories of Animal Sagacity W. H. G. Kingston

Broschur

19.74 €

Happiness Andy Cope

Hardcover

15.79 €

Maria The Monarch Homero Aridjis

Broschur

14.68 €

Women Who Move Mountains Sue Detweiler

Broschur

16.80 €

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

Broschur

103.10 €

Devil's Reign Zdarsky

Broschur

27.13 €

Operatic China D. Lei

Broschur

100.97 €

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

Hardcover

34.12 €

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

Broschur

54.07 €