Automated Technology for Verification and Analysis Editat de Sungdeok Cha et al. 6 oct 2008 Paperback Preț: 329.74 lei 412.17 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science, nr. 9039 Editat de Susanne Graf et al. 13 mai 2015 Paperback Preț: 320.14 lei 400.17 lei 6-8 săpt. -20%