Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint ... Science and General Issues, Band 7795) - Softcover

 
9783642367410: Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint ... Science and General Issues, Band 7795)
Softcover
ISBN 10: 3642367410 ISBN 13: 9783642367410
Verlag: Springer, 2013

Inhaltsangabe

This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Büchi automata; and competition on software verification.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3642367410
ISBN 13 
9783642367410
Einband
Taschenbuch
Anzahl der Seiten
672
Herausgeber
Piterman Nir, Smolka Scott
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540212997: Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... Notes in Computer Science, 2988, Band 2988)

Vorgestellte Ausgabe

ISBN 10:  354021299X ISBN 13:  9783540212997
Verlag: Springer, 2008
Softcover