Spar
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.
- Undertittel
- 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
- Opplag
- 2015 ed.
- ISBN
- 9783662466803
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 8.4.2015
- Antall sider
- 725
