Yamine Ait-Ameur - Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 352, publicationDate : 2014-05-21, releaseDate : 2014-05-21, publishers : Yamine Ait-Ameur, Klaus-Dieter Schewe, languages : english, ISBN : 3662436515 ...