Temporal Verification of Reactive Systems: Safety | Kaicus Deutschland
All categories
Kaicus
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
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Temporal Verification of Reactive Systems: Safety
product image
product image
product image
product image

Temporal Verification of Reactive Systems: Safety

117.69 EUR

Marke: Zohar Manna
ISBN: 1461287014
MPN: biography
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Temporal Verification of Reactive Systems: Safety

117.69 EUR 117.69 EUR
29-05-2026 12:37:58
Access to the deal

Gesponsert Temporal Verification of Reactive Systems

117.69 EUR 117.69 EUR
29-05-2026 15:02:47
Access to the deal

Gesponsert Temporal Verification of Reactive Systems, Fachbücher von Amir Pnueli, Zohar Manna

117.69 EUR 117.69 EUR
29-05-2026 15:52:44
Access to the deal

Ähnliche Produkte

Advances in Verification of Time Petri Nets and Timed Automata

152.06 EUR 160.49 EUR
Produkt anzeigen

Temporal Verification of Reactive Systems: Safety

101.52 EUR 106.99 EUR
Produkt anzeigen

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

159.34 EUR 160.49 EUR
Produkt anzeigen

Specifications and Verifications of Transactions in Mobile Environment

79.00 EUR
Produkt anzeigen