Tools and Algorithms for the Construction and Analysis of Systems
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
66,50 €On orderDelivery: 2-3 weeks
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. runtime verification and model checking; timed automata; explicit-state model checking; Büchi automata;
- ISBN-13
- 9783642367410
- ISBN-10
- 3642367410
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2013
- Publication date
- 2013-02-20
- Pages
- 646
- Dimensions
- 235x155x