Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Zohar Manna

Rasta: 5
Temporal Verification of Reactive Systems: Safety
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
The Temporal Logic of Reactive and Concurrent Systems: Specification
-15% su kodu: ENG15
158,37 
186,32 
Išsiųsime per 11-15 d. d.
The Calculus of Computation: Decision Procedures with Applications to Verification
-15% su kodu: ENG15
70,11 
82,48 
Išsiųsime per 11-15 d. d.
The Temporal Logic of Reactive and Concurrent Systems: Specification
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Temporal Verification of Reactive Systems: Safety
-15% su kodu: ENG15
158,37 
186,32 
Išsiųsime per 11-15 d. d.
Rasta: 5