Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Автор:
Zhiming Liu, Anders P. Ravn
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.77
€
103.22 лв
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for...
