Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings 2012 Edition Contributor(s): Derrick, John (Editor), Fitzgerald, John (Editor), Gnesi, Stefania (Editor) |
|
ISBN: 3642308848 ISBN-13: 9783642308840 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: June 2012 |
Additional Information |
BISAC Categories: - Computers | Data Processing - Computers | Machine Theory - Computers | Programming - Algorithms |
Dewey: 004.015 |
Physical Information: 0.9" H x 6.3" W x 9" (1.30 lbs) 378 pages |