Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings - Programming and Software Engineering 9154 (Paperback)Jasmin Christian Blanchette (editor), Nikolai Kosmatov (editor)
- We can order this
Publisher: Springer International Publishing AG
Number of pages: 209
Weight: 3577 g
Dimensions: 235 x 155 x 12 mm
Edition: 2015 ed.
You may also be interested in...
Please sign in to write a review