Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

Tools and Algorithms for the Construction and Analysis of Systems

  • Kartonierter Einband
  • 560 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analys... Weiterlesen
20%
115.00 CHF 92.00
Sie sparen CHF 23.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.

Up-to-date results

Fast-track conference proceedings

State-of-the-art research

Produktinformationen

Titel: Tools and Algorithms for the Construction and Analysis of Systems
Untertitel: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
Editor:
EAN: 9783642287558
ISBN: 3642287557
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Informatik
Anzahl Seiten: 560
Gewicht: 833g
Größe: H240mm x B155mm x T30mm
Jahr: 2012
Untertitel: Englisch
Auflage: 2012

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"