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)
  • 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)
zoom

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)

(editor), (editor), (editor), (editor)
£59.99
Paperback 426 Pages / Published: 11/05/2016
  • In stock
  • Free UK delivery

UK delivery within 2 weeks

  • This item has been added to your basket

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...

Foundation Mathematics
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Space-Filling Curves
Added to basket
Data Analysis with Open Source Tools
Added to basket
Art of Computer Programming, The
Added to basket
Algorithms in C++, Parts 1-4
Added to basket
All of Statistics
Added to basket
Discrete Mathematics
Added to basket
Lambda Calculi
Added to basket
£66.00
Paperback
The Elements of Statistical Learning
Added to basket
Bayesian Methods for Hackers
Added to basket
Numerical Recipes 3rd Edition
Added to basket
Post-Quantum Cryptography
Added to basket

Please sign in to write a review

Your review has been submitted successfully.