Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

53.49 EUR

Dieses Buch dokumentiert die Ergebnisse des zehn‑ten ATVA‑Symposiums, bietet praxisorientierte Ansätze zur automatischen Verifikation und Analyse von Softwaresystemen und beleuchtet aktuelle Forschungstrends in der verifizierungsbasierten Softwareentwicklung.