Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings - Theoretical Computer Science and General Issues 9675 (Paperback)Michael Butler (editor), Klaus-Dieter Schewe (editor), Atif Mashkoor (editor), Miklos Biro (editor)
- In stock
- Free UK delivery
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
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.
Publisher: Springer International Publishing AG
Number of pages: 426
Weight: 682 g
Dimensions: 235 x 155 x 23 mm
Edition: 1st ed. 2016
You may also be interested in...
Would you like to proceed to the App store to download the Waterstones App?
Alternatively, for multiple items you may find it easier to add to basket, then pay online and collect in as little as 2 hours, subject to availability.