Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Editat de Doron A. Peled et al.
19 sep 2005
Paperback
Preț: 343.62 lei 429.52 lei
6-8 săpt.
-20%