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

Amir Pnueli

Rasta: 4
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 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: 4