
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Undertitel
- 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
- Redaktör
- Yamine Ait Ameur, Klaus-Dieter Schewe
- Upplaga
- 2014 ed.
- ISBN
- 9783662436516
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2014-05-21
- Sidor
- 336
