Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Ahmed Bouajjani
Themen in »Automated Technology for Verification and Analysis«
Constraint Distributed Systems Genetic Programming Real Time Systems algorithms automated theorem proving complexity design model transformation process calculi programming verification verification tools
Stimmen zu »Automated Technology for Verification and Analysis«
Details
ISBN: 9783642156434
Verlag: Springer Berlin
Erscheinung: 21.09.2010