Detailsuche

Bouajjani / Chin

Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
2010. Buch. viii, 404 S.: 112 s/w-Abbildungen, Bibliographien. Softcover
Springer ISBN 978-3-642-15642-7
In englischer Sprache
Das Werk ist Teil der Reihen:
place.
Versandkostenfrei
lieferbar (3-5 Tage)
85,59 €
inkl. MwSt.
Webcode: beck-shop.de/bwnok
Herausgegeben von: link iconAhmed Bouajjani und link iconWei-Ngan Chin