Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Michael Butler
- Klaus-Dieter Schewe
- Atif Mashkoor
- Miklos Biro
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹3,503Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹43.44Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Abstract State Machines, Alloy, B, TLA, VDM, and Z is written by Michael Butler and published by Springer. It's available with International Standard Book Number or ISBN identification 3319336002 (ISBN 10) and 9783319336008 (ISBN 13).
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. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
