Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach Studies in Computational Intelligence, nr. 20 Autor Wojciech Penczek et al. 26 iun 2006 Hardback Preț: 950.33 lei 1158.95 lei 6-8 săpt. -18%
