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. 25 noi 2010 Paperback Preț: 902.53 lei 1100.64 lei 6-8 săpt. -18%
