Advances in Verification of Time Petri Nets and Timed Automata Autor Wojciech Penczek et al. 26 iun 2006 Hardback Preț: 914.16 lei 1114.83 lei 6-8 săpt. -18%