Tallenna
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.
- Alaotsikko
- 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
- Toimittaja
- Christel Baier, Cesare Tinelli
- Painos
- 2015 ed.
- ISBN
- 9783662466803
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.4.2015
- Sivumäärä
- 725
