Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lecture Notes in Computer Science 9035 (Paperback)Christel Baier (editor), Cesare Tinelli (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 725
Weight: 1122 g
Dimensions: 235 x 155 x 38 mm
Edition: 2015 ed.
You may also be interested in...
Please sign in to write a review