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

Wojciech Penczek

Rasta: 2
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Rasta: 2