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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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: 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

262 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Praha mapa turistických zajímavostí

Karte

2.49 €

Star Wars Animation POP! Vinyl Figure Comm Wolffe 9 cm Spiel/Spielzeug

Spielzeug

21.39 €

Anvande mord som konfliktlosning Diverse

Adobe ePub DRM

3.39 €

Cosa Nostra John Dickie

Broschur

15.09 €

To i owo tu i tam Strzałkowska Małgorzata

Hardcover

8.19 €

Couperin & Lalande : Le?ons de T'n?bres

Audio CD

23.89 €

Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa

Broschur

7.09 €

Łąka. Odkrywam dźwięki Natalia Kawałko-Dzikowska

Hardcover

9.39 €

TNM Atlas 7e JD Brierley

Broschur

100.49 €

PALINODIE Giacomo LEOPARDI

Broschur

8.09 €

VITICULTURE 14 PLANCHES AVEC 56 PHOTOGRAPHIES EN COULEUR Simon Jacques

Hardcover

20.49 €

Fêtes et Chansons anciennes de la Chine Marcel Granet

Broschur

29.69 €

Maison la plus grande du monde (La) LIONNI

Broschur

7.49 €

Adolescence, maltraitance et placement Van Hooland

Broschur

20.19 €

Offizielle Softballregeln 2018-2021 Thomas Haller

Broschur

8.00 €

L'imperatore dei Mondi- Libro Uno (Terra e Acqua) LUCA NAZZARRI

Broschur

18.19 €

Lodní kufr Miloš Hoznauer

Hardcover

9.59 €

Código de insolvencias empresariales Rodriguez Achutegui

Broschur

73.29 €

1870 -1871. Vier Bucher deutscher Geschichte Johannes Scherr

Broschur

30.90 €

Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen

Broschur

12.90 €

Harry Potter Tvory a netvory Jody Revenson

Hardcover

4.39 €

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.59 €

Chasing Time F I Goldhaber

Broschur

10.09 €

Managing the Moon Program NASA History Division

Broschur

18.59 €

Three Musketeers Omnibus, Volume Two (six Complete and Unabridged Books in Two Volumes) Alexandre Dumas

Hardcover

81.99 €

Operatic China D. Lei

Broschur

93.39 €

Bismarck - The Man and the Statesman Otto von Bismarck

Broschur

29.89 €

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

Broschur

107.29 €

Women Who Move Mountains Sue Detweiler

Broschur

15.59 €

Maria The Monarch Homero Aridjis

Broschur

11.19 €

Happiness Andy Cope

Hardcover

15.60 €

Stories of Animal Sagacity W. H. G. Kingston

Broschur

20.59 €

More Than Words Vernon Logan

Broschur

16.00 €

Solemn Duty in the Old Guard Mark Joseph Mongilutz

Broschur

32.29 €

Encyclopedia of Indian Wars: Western Battles and Skirmishes, 1850-1890 Gregory F. Michno

Broschur

21.50 €

Mental Health and Well-being Interventions in Sport Gavin Breslin

Adobe ePub DRM

56.51 €

Beginner's Guide to Create Models With CINEMA 4D R18 Studio Ravi Conor

Broschur

21.79 €

Treaties in Force 2017: A List of Treaties and Other International Agreements in Force on January 1, 2017 State Dept (U S )

Broschur

65.02 €

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

Broschur

2.19 €

Beyond Babar Sandra L. Beckett

Adobe ePub DRM

81.12 €

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

Broschur

15.50 €

Devil's Reign Zdarsky

Broschur

27.49 €

Virtual Machining Using CAMWorks 2021 Kuang-Hua Chang

Broschur

78.39 €

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

Broschur

50.89 €