5
1
![Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.8.5)
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
378![Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.8.5)
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
378Paperback(2012)
$54.99
54.99
In Stock
Product Details
ISBN-13: | 9783642308840 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 07/03/2012 |
Series: | Lecture Notes in Computer Science , #7316 |
Edition description: | 2012 |
Pages: | 378 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.04(d) |
From the B&N Reads Blog