Spar
Tools and Algorithms for the Construction and Analysis of Systems
The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions.
- Undertittel
- 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
- Redaktør
- Erika Abraham, Klaus Havelund
- Opplag
- 2014 ed.
- ISBN
- 9783642548611
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 11.3.2014
- Antall sider
- 652
