Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings Lecture Notes in Computer Science, nr. 3925 Editat de Antti Valmari 15 mar 2006 Paperback Preț: 321.03 lei 401.30 lei 6-8 săpt. -20%
Application and Theory of Petri Nets and Concurrency Theoretical Computer Science and General Issues Editat de Raymond Devillers et al. 27 mai 2015 Paperback Preț: 324.45 lei 405.57 lei 6-8 săpt. -20%