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
Binding Type: Paperback - See All Available Formats & Editions Published: May 2016 |
Additional Information |
BISAC Categories: - Mathematics | Logic - Computers | Programming - Algorithms - Computers | Machine Theory |
Dewey: 005.131 |
Physical Information: 0.91" H x 6.14" W x 9.21" L (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. |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |