Gå direkte til innholdet
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Spar

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.
Undertittel
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Opplag
2014 ed.
ISBN
9783662436516
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
21.5.2014
Antall sider
336