Tallenna
Abstract State Machines, Alloy, B, TLA, VDM, and Z
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014.
- Alaotsikko
- 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
- Toimittaja
- Yamine Ait Ameur, Klaus-Dieter Schewe
- Painos
- 2014 ed.
- ISBN
- 9783662436516
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 21.5.2014
- Sivumäärä
- 336
