Opening book details…
Can I read Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings on EtoBox?
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings by Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.) is a computer science book available to read on EtoBox.
What is Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings about?
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;
Who reads Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2013
- Language
- EN
- ISBN
- 9783642367410
- Category
- computer science
- Subjects
- Engineering, Mathematics, Technology
- Updated
- 2026-03-25
More by Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)
Similar books
- Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings — Peter Lee (auth.), Hubert Garavel, John Hatcliff (2003)
- Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II — Axel Legay; Tiziana Margaria; International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2017)
- Fundamental approaches to software engineering : 16th International Conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings — Krzysztof Czarnecki (auth.), Vittorio Cortellessa, Dániel Varró (2013)
- Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : Proceedings — Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (2009)
- Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings — Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (2007)
- Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020, Proceedings 2 — David Parker Armin Biere (2020)
