Opening book details…
Can I read Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4424) on EtoBox?
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4424) by Orna Grumberg, Michael Huth (eds.) is a nonfiction available to read on EtoBox.
What is Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4424) about?
<p>This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.</p>
Who reads Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4424)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Orna Grumberg, Michael Huth (eds.)
- Publisher
- Springer Spektrum. in Springer-Verlag GmbH
- Published
- 2007
- Language
- EN
- ISBN
- 9783540712084
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
Other editions & translations
More by Orna Grumberg, Michael Huth (eds.)
Browse all works by Orna Grumberg, Michael Huth (eds.)
Similar books
- 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 : 22nd International Conference, TACAS 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings — Marsha Chechik, Jean-François Raskin (2016)
- Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings — Pierre Wolper, Bernard Boigelot (auth.), Susanne Graf, Michael Schwartzbach (2000)
- 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 : 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 [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)