
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
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.
Publisher: Springer International Publishing AG
ISBN: 9783319335995
Number of pages: 426
Weight: 682 g
Dimensions: 235 x 155 x 23 mm
Edition: 1st ed. 2016
You may also be interested in...
Please sign in to write a review
Sign In / Register
Sign In
Download the Waterstones App
Would you like to proceed to the App store to download the Waterstones App?
Click & Collect
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.