We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

- 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

part of the Theoretical Computer Science and General Issues series

part of the Lecture Notes in Computer Science series

Tools and Algorithms for the Construction and Analysis of Systems
About Tools and Algorithms for the Construction and Analysis of Systems

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It''s a special volume on the occasion of the 25 year anniversary of TACAS.

Show more
  • Language:
  • English
  • ISBN:
  • 9783030175016
  • Binding:
  • Paperback
  • Pages:
  • 258
  • Published:
  • April 4, 2019
  • Edition:
  • 12019
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 454 g.
Delivery: 2-4 weeks
Expected delivery: November 1, 2024

Description of Tools and Algorithms for the Construction and Analysis of Systems

This book is Open Access under a CC BY licence.
This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It''s a special volume on the occasion of the 25 year anniversary of TACAS.

User ratings of Tools and Algorithms for the Construction and Analysis of Systems



Others also bought..
Find similar books
The book Tools and Algorithms for the Construction and Analysis of Systems can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.