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 Lecture Notes in Computer Science, nr. 9115 Editat de Raymond Devillers et al. 27 mai 2015 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%