Opening book details…
Can I read Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings on EtoBox?
Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings by Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.) is a nonfiction available to read on EtoBox.
What is Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings about?
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.
Who reads Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)
- Publisher
- Springer Berlin Heidelberg : Imprint: Springer
- Published
- 2001
- Language
- EN
- ISBN
- 9783540453192
- Category
- nonfiction
- Subjects
- Mathematics, Stem
Other editions & translations
- Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held As Part of the European Joint Conferences on (2017)
- 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 Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)
Browse all works by Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)
Similar books
- Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : Proceedings — Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (2008)
- 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: 4th International Conference, TACAS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98 Lisbon, Portugal, March 28 - April 4, 1998: proceedings — Randal E. Bryant (auth.), Bernhard Steffen (1998)
- Tools and Algorithms for the Construction and Analysis of Systems [recurso electrónico] 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings — Erika Ábrahám and Klaus Havelund (2014)
- 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 — Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (2013)
- Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11427) — Tomas Vojnar & Lijun Zhang Vojnar (2019)