Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)
Bildquelle: preigu.de

Preisverlauf (90 Tage)

Tiefstwert (90 Tage): 50,25 € Trend
Stabile Preise
Basierend auf den letzten 14 Tagen des Preisverlaufs.
Preis-Check
  • Dieses Produkt Bestpreis seit 11.09.2026 stabil geblieben (50,25 € → 50,25 €)
  • Kategorie Bücher Preise in 90 Tagen stabil geblieben (Median von 1.266 Produkten)

Mit 50,25 € liegt der Bestpreis unter dem mittleren Preis (74,81 €) von 5.613 Springer-Produkten in Bücher.

Weitere Springer-Produkte in Bücher ›
Bestpreis aus dem Preisverlauf; Kategorie- und Markentrend: Median der Preisänderung gleicher Produkte im selben Shop über 90 Tage, wöchentlich berechnet. Methodik
Browser-Benachrichtigung bei PreissenkungWir melden uns, sobald es günstiger wird als heute (50,25 €) — 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 9783540405245

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)

Hersteller: Springer  ·  MPN: M03540405240
Günstigster Preis
50,25 €
inkl. MwSt.
Verfügbar bei preigu.de Versand: k.A. 4-7 Werktage
Bei 2 Anbietern im Vergleich
Zuletzt aktualisiert: 15.10.2026 06:21 Uhr
Bei preigu.de kaufen — 50,25 €
Verfügbar · inkl. MwSt. · Versand k.A. · 4-7 Werktage
Alle 2 Angebote vergleichen · 50,25 € – 53,49 € ↓ Amazon Finde Computer Aided Verification: 15th International Conference, …

Produktfakten auf einen Blick zur EAN 9783540405245

Hersteller
Springer
EAN
9783540405245
Hersteller-Artikelnr.
M03540405240
Kategorie
Bücher
Günstigster Preis
50,25 € (preigu.de)
Anbieter im Vergleich
2 Shops
Preise aktualisiert
15.10.2026 06:21 Uhr

Produktbeschreibung

Extending Bounded Model Checking.- Interpolation and SAT-Based Model Checking.- Bounded Model Checking and Induction: From Refutation to Verification.- Symbolic Model Checking.- Reasoning with Temporal Logic on Truncated Paths.- Structural Symbolic CTL Model Checking of Asynchronous Systems.- A Work-Efficient Distributed Algorithm for Reachability Analysis.- Games, Trees, and Counters.- Modular Strategies for Infinite Games on Recursive Graphs.- Fast Mu-Calculus Model Checking when Tree-Width Is Bounded.- Dense Counter Machines and Verification Problems.- Tool Presentations I.- TRIM: A Tool fo
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: 15.10.2026 06:21 Uhr.

Weitere Produkte von Springer
Alle Produkte →
Bauentwurfslehre: Grundlagen, Normen, Vorschriften
Bauentwurfslehre: Grundlagen, Normen, Vorschriften
Springer
ab 159,99 €
inkl. MwSt.
3 Anbieter im Vergleich
Handbuch Maschinenbau: Grundlagen und Anwendungen der Maschinenbau-Technik
Handbuch Maschinenbau: Grundlagen und Anwendungen der Maschi
Springer
4,0(2)
ab 89,99 €
inkl. MwSt.
3 Anbieter im Vergleich
Partnerschaftsprobleme?: So gelingt Ihre Beziehung - Handbuch für Paare
Partnerschaftsprobleme?: So gelingt Ihre Beziehung - Handbuc
Springer
4,8(4)
ab 22,99 €
inkl. MwSt.
2 Anbieter im Vergleich
Mathematik für Ingenieure und Naturwissenschaftler Band 1: Ein Lehr- und Arbeitsbuch für das Grundstudium
Mathematik für Ingenieure und Naturwissenschaftler Band 1: E
Springer
ab 37,99 €
inkl. MwSt.
3 Anbieter im Vergleich
Buchführung 1 DATEV-Kontenrahmen 2025: Grundlagen der Buchführung für Industrie- und Handelsbetriebe (Bornhofen Buchführung 1 LB)
Buchführung 1 DATEV-Kontenrahmen 2025: Grundlagen der Buchfü
Springer
Weitere Produkte in „Bücher“
Alle in Kategorie →
STAEDTLER Lumocolor 317 Permanent Marker – Rot, 10er Set, M, 1,0 mm
STAEDTLER Lumocolor 317 Permanent Marker – Rot, 10er Set, M,
Staedtler
ab 16,28 €
inkl. MwSt.
3 Anbieter im Vergleich
Der kleine Rabe Socke - Meine große Hörspielbox 1 (Der kleine Rabe Socke): Alles rabenstark!, Alles aufgeräumt!, Alles kaputt! / Alles vermurkst!, ... Alles für dich!, Alles getröstet!: 3 CDs
Der kleine Rabe Socke - Meine große Hörspielbox 1 (Der klein
Silberfisch
3,7(3)
ab 14,47 €
inkl. MwSt.
2 Anbieter im Vergleich
Exacompta 55121E Premium Ordnungsmappe Harmonika. Aus extra starkem Colorspan-Karton DIN A4 12 Fächer und 2 Gummizüge mit Indexfenster und dehnbarem Rücken Register-Mappe schwarz [Office Product]
Exacompta 55121E Premium Ordnungsmappe Harmonika. Aus extra
Exacompta
ab 78,30 €
inkl. MwSt.
1 Anbieter im Vergleich
Akku Duracell DR9945 1020 mAh 7,4 V Lithium-Ion für Kamera
Akku Duracell DR9945 1020 mAh 7,4 V Lithium-Ion für Kamera
Duracell
ab 24,88 €
inkl. MwSt.
2 Anbieter im Vergleich
Rhodia 11600C Notizblock (DIN A7, 7,4 x 10,5 cm, geheftet, liniert, 80 Blatt)) 1 Stück orange
Rhodia 11600C Notizblock (DIN A7, 7,4 x 10,5 cm, geheftet, l
Rhodia
ab 21,69 €
inkl. MwSt.
1 Anbieter im Vergleich

Häufige Fragen zur EAN 9783540405245

Beantwortet aus dem Preisverlauf der letzten 90 Tage, den aktuellen Händlerangeboten, den vorliegenden Bewertungen und der Nachfrage.

Der Bestpreis ist seit 11.09.2026 stabil geblieben (50,25 € → 50,25 €). In der Kategorie Bücher sind die Preise in 90 Tagen stabil geblieben. Mit 50,25 € liegt der Bestpreis unter dem mittleren Preis (74,81 €) von 5.613 Springer-Produkten in Bücher.

Preisdaten zuletzt aktualisiert: 15.10.2026 06:21 Uhr