Knygos pagal Zohar Manna
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 Calculus of Computation: Decision Procedures with Applications to Verification
-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ą
Mathematical Theory of Computation
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Calculus of Computation Decision Procedures with Applications to Verification
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją