Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler
- 11 mei 2016
- 9783319335995
Samenvatting:
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.
€ 46,99
Bestel bij Bol.com >