Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Bildquelle: medimops.de

Preisverlauf (90 Tage)

Tiefstwert (90 Tage): 53,49 € Trend

Stabile Preise

Basierend auf den letzten 14 Tagen des Preisverlaufs.

Preis-Check

Dieses Produkt Bestpreis seit 02.09.2026 stabil geblieben (53,49 € → 53,49 €)
Kategorie Bücher Preise in 90 Tagen stabil geblieben (Median von 1.266 Produkten)

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 (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 9783540002963

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Name: Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Klaus Schneider
SKU: 9783540002963
Price: 53.49 EUR
Availability: InStock

Hersteller: Klaus Schneider · MPN: M03540002960

Günstigster Preis

53,49 €

inkl. MwSt.

Verfügbar bei medimops.de Versand: k.A.

Bei 1 Anbieter im Vergleich

Zuletzt aktualisiert: 16.10.2026 18:23 Uhr

Bei medimops.de kaufen — 53,49 €

Verfügbar · inkl. MwSt. · Versand k.A.

Finde Verification of Reactive Systems: Formal Methods and Algorit…

Produktfakten auf einen Blick zur EAN 9783540002963

Hersteller: Klaus Schneider
EAN: 9783540002963
Hersteller-Artikelnr.: M03540002960
Kategorie: Bücher
Günstigster Preis: 53,49 € (medimops.de)
Anbieter im Vergleich: 1 Shops
Preise aktualisiert: 16.10.2026 18:23 Uhr

Produktbeschreibung

This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular the text presents all important results on m-calculus w-automata and temporal logics shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. It also discusses advantages and disadvantages of these formalisms and shows up their strengths and weaknesses. Most results are given with detailed proofs so that the presentation is almost self-contained. Includes all definitions without relying on othe

Preisvergleich

1 Angebote gefunden

medimops.de DE

Verfügbar Versand: k.A.

Aktualisiert: 16.10.2026 18:23 Uhr

53,49 €

inkl. MwSt.

Zum Angebot

* 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: 16.10.2026 18:23 Uhr.

Weitere Produkte von Klaus Schneider