Automated Technology for Verification and Analysis Editat de Farn Wang 19 oct 2004 Paperback Preț: 635.35 lei 794.19 lei 6-8 săpt. -20%
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings Lecture Notes in Computer Science, nr. 3731 Editat de Farn Wang 26 sep 2005 Paperback Preț: 633.70 lei 792.12 lei 6-8 săpt. -20%