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

B. T. Hailpern

Rasta: 1
Verifying Concurrent Processes Using Temporal Logic
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Rasta: 1