Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006. The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.
| ISBN: | 9783540472377 |
|---|---|
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Graf, Susanne Zhang, Wenhui |
| Verlag: | Springer Nature EN |
| Veröffentlicht: | 10.10.2006 |
| Untertitel: | 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings |
| Schlagworte: | C Computer-Aided Engineering (CAD, CAE) and Design Computer-aided engineering Computer Communication Networks Computer Science Logic and Foundations of Programming Computer architecture & logic design Computer communication systems Computer logic Computer networking & communications Computer programming / software engineering Computers Expert systems / knowledge-based systems Information Systems and Communication Service Logics and Meanings of Programs Network hardware Netzwerk-Hardware Software Engineering Special Purpose and Application-Based Systems Special purpose computers Theoretische Informatik Wissensbasierte Systeme, Expertensysteme computer science |