Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Editat de Kedar Namjoshi et al.
9 oct 2007
Paperback
Preț: 349.40 lei 436.75 lei
6-8 săpt.
-20%