Formal Techniques for Distributed Objects, Components, and Systems
Editat de Susanne Graf et al.
13 mai 2015
Paperback
Preț: 319.15 lei 398.93 lei
6-8 săpt.
-20%
Cărți de Mahesh Viswanathan
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Editat de Sungdeok Cha et al.
6 oct 2008
Paperback
Preț: 328.16 lei 410.20 lei
6-8 săpt.
-20%