Temporal Verification of Reactive Systems: Safety

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

102.14 EUR
Preis aktualisiert am: 19-05-2026 07:01:30
Siehe Produktangebot

Gesponsert Temporal Verification of Reactive Systems

106.99 EUR
Preis aktualisiert am: 18-05-2026 20:55:10
Siehe Produktangebot
Bezeichner
ISBN Zohar Manna 9780387944593
Abmessungen / Gewicht
Hauptmerkmale
Zohar Manna