search for books and compare prices
Abstract State Machines, Alloy, B, Vdm, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Book cover for 9783642308840
With John Derrick (other contributor), Sarfraz Khurshid (other contributor), John Fitzgerald (other contributor), Stefania Gnesi (other contributor) | from Springer-Verlag New York Inc (July 3, 2012); titled "Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 Proceedings"
9783642308840 | details & prices | 378 pages | 6.25 × 9.00 × 0.75 in. | 1.20 lbs | List price $89.99
About: This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.