Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)
Bildquelle: medimops.de

Preisverlauf (90 Tage)

Tiefstwert (90 Tage): 53,49 € Trend
Stabile Preise
Basierend auf den letzten 14 Tagen des Preisverlaufs.
Browser-Benachrichtigung bei PreissenkungWir melden uns, sobald es günstiger wird als heute (53,49 €) — höchstens einmal am Tag. Ohne E-Mail, ohne Konto, jederzeit abbestellbar. Amazon-Angebote sind ausgenommen. Datenschutz
Hinweis: Amazon-Preise sind in der Preisverfolgung bzw. im Preisverlaufsgraphen nicht enthalten. Wir versenden keine Benachrichtigungen zu Produkten über Amazon.

Kundenbewertungen

Noch keine Bewertungen vorhanden.

Bücher EAN 9783642221095

Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Hersteller: Ganesh Gopalakrishnan  ·  MPN: M03642221092
Günstigster Preis
53,49 €
inkl. MwSt.
Verfügbar bei buchserien.de Versand: k.A.
Bei 2 Anbietern im Vergleich
Zuletzt aktualisiert: 08.10.2026 14:35 Uhr
Bei buchserien.de kaufen — 53,49 €
Verfügbar · inkl. MwSt. · Versand k.A.
Alle 2 Angebote vergleichen ↓ Amazon Finde Computer Aided Verification: 23rd International Conference, …

Produktfakten auf einen Blick zur EAN 9783642221095

Hersteller
Ganesh Gopalakrishnan
EAN
9783642221095
Hersteller-Artikelnr.
M03642221092
Kategorie
Bücher
Günstigster Preis
53,49 € (buchserien.de)
Anbieter im Vergleich
2 Shops
Preise aktualisiert
08.10.2026 14:35 Uhr

Produktbeschreibung

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and
Preisvergleich
2 Angebote gefunden

* Alle Preise inkl. MwSt., ggf. zzgl. Versandkosten. Preise und Verfügbarkeit können sich seit der letzten Aktualisierung geändert haben. Beim Klick auf „Zum Angebot" oder „Zum Shop" verlässt du EAN-Shopping.de und wirst zum jeweiligen Händler weitergeleitet. EAN-Shopping.de erhält ggf. eine Provision — für dich entstehen keine Mehrkosten. Letzte Aktualisierung: 08.10.2026 14:35 Uhr.

Weitere Produkte von Ganesh Gopalakrishnan
Computation Engineering: Applied Automata Theory and Logic
Computation Engineering: Applied Automata Theory and Logic
Ganesh Gopalakrishnan
ab 97,84 €
inkl. MwSt.
1 Anbieter im Vergleich
Weitere Produkte in „Bücher“
Alle in Kategorie →
Clairefontaine 734162C Heft (gebund Age Bag, liniert, 9 x 14 cm) 1 Stück, 48 Blatt, rot
Clairefontaine 734162C Heft (gebund Age Bag, liniert, 9 x 14
Clairefontaine
ab 16,14 €
inkl. MwSt.
1 Anbieter im Vergleich
Rhodia 18600C Notizblock -N.18 A4 80 Blatt liniert mit Rand Orange
Rhodia 18600C Notizblock -N.18 A4 80 Blatt liniert mit Rand
Rhodia
5,0(3)
ab 44,49 €
inkl. MwSt.
1 Anbieter im Vergleich
So sorry: Ein Brite erklärt sein komisches Land (Beck Paperback 6298)
So sorry: Ein Brite erklärt sein komisches Land (Beck Paperb
C.h.beck
ab 12,00 €
inkl. MwSt.
1 Anbieter im Vergleich
Bunny McGarry und der Mann mit dem Allerweltsgesicht: Ein Dublin-Krimi (Die Dublin-Trilogie 1)
Bunny McGarry und der Mann mit dem Allerweltsgesicht: Ein Du
Eichborn Verlag
ab 18,00 €
inkl. MwSt.
1 Anbieter im Vergleich
Clairefontaine 73306C Heft (DIN A4, 21 x 29,7 cm, gebund Age Bag liniert mit Rand, 48 Blatt) 1 Stück braun
Clairefontaine 73306C Heft (DIN A4, 21 x 29,7 cm, gebund Age
Clairefontaine
ab 28,74 €
inkl. MwSt.
1 Anbieter im Vergleich