Abstract State Machines, Alloy, B, Tla, VDM, and Z: 5th International Conference, Abz 2016, Linz, Austria, May 23-27, 2016, Proceedings 2016 Edition Contributor(s): Butler, Michael (Editor), Schewe, Klaus-Dieter (Editor), Mashkoor, Atif (Editor) |
|
ISBN: 3319335995 ISBN-13: 9783319335995 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: May 2016 |
Additional Information |
BISAC Categories: - Mathematics | Logic - Computers | Programming - Algorithms - Computers | Machine Theory |
Dewey: 005.131 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.91" H x 6.14" W x 9.21" (1.38 lbs) 426 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. |