Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara König.
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
Record details
- ISBN: 9783642287565
- Physical Description: XIX, 560 p. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.