Modeling and Verification of Parallel Processes Editat de Franck Cassez et al. 24 oct 2001 Paperback Preț: 307.71 lei 384.64 lei 6-8 săpt. -20%
Formal Modeling and Analysis of Timed Systems Editat de Franck Cassez et al. 5 sep 2008 Paperback Preț: 322.80 lei 403.50 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 8837 Editat de Franck Cassez et al. 29 sep 2014 Paperback Preț: 330.15 lei 412.69 lei 6-8 săpt. -20%