Opening book details…
Can I read 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 on EtoBox?
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 by Axel Legay; Tiziana Margaria; International Conference on Tools and Algorithms for the Construction and Analysis of Systems is a computer science book available to read on EtoBox.
What is 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 about?
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.<p>The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions
Who reads 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?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Axel Legay; Tiziana Margaria; International Conference on Tools and Algorithms for the Construction and Analysis of Systems
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2017
- Language
- EN
- ISBN
- 9783662545805
- Category
- computer science
- Subjects
- Engineering, Mathematics, Technology
- Updated
- 2026-03-25
Other editions & translations
- Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on (2001)
- Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on T (2017)
More by Axel Legay; Tiziana Margaria; International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Similar books
- Principles of Security and Trust : 6th International Conference, POST 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings — Mark Ryan Matteo Maffei (2017)
- Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings — Andrzej S. Murawski Javier Esparza (2017)
- Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings — Julia Rubin Marieke Huisman (2017)
- Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings — Hongseok Yang; European Symposium on Programming; European Joint Conferences on Theory and Practice of Software (2017)
- 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 : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : Proceedings — Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (2010)