Michael Butler - Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 448, publicationDate : 2016-05-11, releaseDate : 2016-05-11, publishers : Michael Butler, languages : english, ISBN : 3319335995 ...