Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Lecture Notes in Computer Science 7316 (Paperback)John Derrick (editor), John Fitzgerald (editor), Stefania Gnesi (editor), Sarfraz Khurshid (editor), Michael Leuschel (editor), Steve Reeves (editor), Elvinia Riccobene (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 378
Weight: 597 g
Dimensions: 235 x 155 x 20 mm
Edition: 2012 ed.
You may also be interested in...
Please sign in to write a review