Tallenna
Abstract State Machines, Alloy, B, TLA, VDM, and Z
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.
- Alaotsikko
- 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
- Toimittaja
- Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
- Painos
- 1st ed. 2016
- ISBN
- 9783319335995
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.5.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 426
