Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS Wiley Series on Parallel and Distributed Computing Autor M Yoeli 14 apr 2008 Hardback Preț: 831.27 lei 913.49 lei 6-8 săpt. -9%
