Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Theoretical Computer Science and General Issues 7976 (Paperback)Ezio Bartocci (editor), C. R. Ramakrishnan (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 377
Weight: 593 g
Dimensions: 235 x 155 x 20 mm
Edition: 2013 ed.
You may also be interested in...
Please sign in to write a review