Knygos pagal Amir Pnueli
Temporal Verification of Reactive Systems: Safety
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Temporal Logic of Reactive and Concurrent Systems: Specification
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Temporal Logic of Reactive and Concurrent Systems: Specification
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Temporal Verification of Reactive Systems: Safety
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją