Spara
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.
- Undertitel
- 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
- Upplaga
- 2014 ed.
- ISBN
- 9783642548611
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2014-03-11
- Sidor
- 652
