Tallenna
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.
- Alaotsikko
- 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
- Toimittaja
- Erika Abraham, Klaus Havelund
- Painos
- 2014 ed.
- ISBN
- 9783642548611
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.3.2014
- Sivumäärä
- 652
