The Leading eBooks Store Online 4,252,064 members ⚫ 1,413,299 ebooks

New to eBooks.com?

Learn more

Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z by Michael Butler
Buy this eBook
US$ 84.99
(If any tax is payable it will be calculated and shown at checkout.)

This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016.
The 17 full and 15 short papers presented in this volume were carefullyreviewed and selected from 61 submissions. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

Springer International Publishing; May 2016
440 pages; ISBN 9783319336008
Read online, or download in secure PDF format
Title: Abstract State Machines, Alloy, B, TLA, VDM, and Z
Author: Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklos Biro
 
  • News
  • Contents
No entry found