Michael Butler - Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Lecture Notes in Computer Science, Band 10817)

Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 448, publicationDate : 2018-05-08, publishers : Michael Butler, Alexander Raschke, Hoang, Thai Son, Klaus Reichl, ISBN : 3319912704 ...