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

111.24 EUR 5% Off 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
-5%

Gesponsert Temporal Verification of Reactive Systems: Safety

111.24 EUR 117.69 EUR
25-09-2026 09:55:02
Access to the deal
-0%

Gesponsert Temporal Verification of Reactive Systems

117.49 EUR 117.69 EUR
26-09-2026 08:41:23
Access to the deal

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

117.69 EUR 117.69 EUR
25-09-2026 21:07:43
Access to the deal

Gesponsert Temporal Verification of Reactive Systems

117.69 EUR 117.69 EUR
26-09-2026 11:05:28
Access to the deal

Ähnliche Produkte

Advances in Verification of Time Petri Nets and Timed Automata

152.06 EUR 164.99 EUR
Produkt anzeigen

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

159.34 EUR 164.99 EUR
Produkt anzeigen

Temporal Verification of Reactive Systems: Safety

82.67 EUR 118.00 EUR
Produkt anzeigen

Specifications and Verifications of Transactions in Mobile Environment

78.99 EUR 79.00 EUR
Produkt anzeigen