Brauchen Sie Hilfe?
DE
US
CA
UK
ES
FR
DE
IT
Kategorien
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
Information
Über uns
Geschäftsbedingungen
Datenschutz-Bestimmungen
Blog
Kontakt
Home
Medien
Bücher
Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety
106.99 EUR
101.52 EUR
5% Off
Teilen:
Angebote
Gesponsert
Temporal Verification of Reactive Systems: Safety
Medimops DE
101.52 EUR
19-06-2026 20:06:45
Gesponsert
Temporal Verification of Reactive Systems
SpringerLink DE
106.99 EUR
19-06-2026 19:04:44
Ähnliche Produkte
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
159.34 EUR
Temporal Verification of Reactive Systems
117.69 EUR
Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications
79.00 EUR
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
160.49 EUR
A Formal Framework for Run-Time Verification of Web Applications
49.00 EUR
Effective and Efficient Temporal Verification in Grid Workflow: Enabling timely completion of grid workflow
68.00 EUR
Medimops DE 
SpringerLink DE 
