Abstract State Machines, Alloy, B, TLA, VDM, and Z
Springer International Publishing AG, 2016
66,50 €On orderDelivery: 2-3 weeks
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. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.
- ISBN-13
- 9783319335995
- ISBN-10
- 3319335995
- Publisher
- Springer International Publishing AG
- Year
- 2016
- Publication date
- 2016-05-11
- Pages
- 426
- Dimensions
- 235x155x