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 - Lecture Notes in Computer Science 7795 (Paperback)Nir Piterman (editor), Scott Smolka (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 646
Weight: 1015 g
Dimensions: 235 x 155 x 34 mm
Edition: 2013 ed.
You may also be interested in...
Please sign in to write a review