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

19-09-2026 09:37:05

Access to the deal

118.00 EUR 118.00 EUR

19-09-2026 20:26:25

Access to the deal