Spara
Tools and Algorithms for the Construction and Analysis of Systems
The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.
- Undertitel
- 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
- Redaktör
- Christel Baier, Cesare Tinelli
- Upplaga
- 2015 ed.
- ISBN
- 9783662466803
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2015-04-08
- Sidor
- 725
