Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
Record details
- ISBN: 9783642367427
-
Physical Description:
electronic
electronic resource
access
remote
XXIV, 646 p. 137 illus. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.