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
  • We can order this from the publisher

Usually dispatched within 15 working days

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

The Algorithm Design Manual
Added to basket
Computational Complexity
Added to basket
Validated Numerics
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Foundation Mathematics
Added to basket
Fortran 95/2003 Explained
Added to basket
All of Statistics
Added to basket
The Elements of Statistical Learning
Added to basket
Sets, Logic and Maths for Computing
Added to basket
Complex Graphs and Networks
Added to basket
Discrete Mathematics
Added to basket
Bayesian Methods for Hackers
Added to basket
Data Analysis with Open Source Tools
Added to basket

Please sign in to write a review

Your review has been submitted successfully.