Automated Technology for Verification and Analysis
| Themengebiete: | Automatentheorie Echtzeit Real-time Realzeit |
|---|---|
| Veröffentlichungsdatum: | 09.10.2007 |
| EAN: | 9783540755951 |
| Auflage: | 2007 |
| Sprache: | Englisch |
| Seitenzahl: | 584 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Higashino, Teruo Namjoshi, Kedar Okamura, Yoshio Yoneda, Tomohiro |
| Verlag: | Springer Berlin Springer Berlin Heidelberg |
| Untertitel: | 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings |
Produktinformationen "Automated Technology for Verification and Analysis"
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen