
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Undertittel
- 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
- Redaktør
- Yamine Ait Ameur, Klaus-Dieter Schewe
- Opplag
- 2014 ed.
- ISBN
- 9783662436516
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 21.5.2014
- Antall sider
- 336
