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
Binding Type: Paperback - See All Available Formats & Editions 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" L (1.30 lbs) 378 pages |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |