Willkommen, schön sind Sie da!
Logo Ex Libris

Automated Technology for Verification and Analysis

  • Kartonierter Einband
  • 452 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verifica... Weiterlesen
20%
89.00 CHF 71.20
Sie sparen CHF 17.80
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.

Fast conference proceedings

State-of-the-art report

Up to date results



Inhalt

Fast conference proceedings.-State-of-the-art report.-Up to date results

Produktinformationen

Titel: Automated Technology for Verification and Analysis
Untertitel: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Editor:
EAN: 9783642333859
ISBN: 3642333850
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 452
Gewicht: 680g
Größe: H235mm x B155mm x T24mm
Jahr: 2012
Untertitel: Englisch
Auflage: 2012

Weitere Produkte aus der Reihe "Programming and Software Engineering"