Opening book details…
Can I read 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 on EtoBox?
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 by Randal E. Bryant (auth.), Bernhard Steffen (eds.) is a nonfiction available to read on EtoBox.
What is 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 about?
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience. Erscheinungsdatum: 18.03.1998
Who reads 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?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Randal E. Bryant (auth.), Bernhard Steffen (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1998
- Language
- EN
- ISBN
- 9783540643562
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Engineering
More by Randal E. Bryant (auth.), Bernhard Steffen (eds.)
Browse all works by Randal E. Bryant (auth.), Bernhard Steffen (eds.)
Similar books
- 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 : 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)
- Programming Languages and Systems: 7th European Symposium on Programming, ESOP'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 — Gert Smolka (auth.), Chris Hankin (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 : 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)
- Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings — Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (2004)