Temporal Verification of Reactive Systems: Safety

82.67 EUR 30% Off 118.00 EUR

Marke: Zohar Manna

ISBN: 9780387944593

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-30%

Gesponsert Temporal Verification of Reactive Systems: Safety

82.67 EUR 118.00 EUR

29-07-2026 06:02:51

Access to the deal

118.00 EUR 118.00 EUR

29-07-2026 07:48:55

Access to the deal