Kirjat Amir Pnueli
Temporal Verification of Reactive Systems: Safety
-25% koodilla BOOKS
Toimittajalla varastossa
The Temporal Logic of Reactive and Concurrent Systems: Specification
-25% koodilla BOOKS
Toimittajalla varastossa
The Temporal Logic of Reactive and Concurrent Systems: Specification
-25% koodilla BOOKS
Toimittajalla varastossa
Temporal Verification of Reactive Systems: Safety
-25% koodilla BOOKS
Toimittajalla varastossa