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ț: 814.45 lei 895.01 lei 6-8 săpt. -9%