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, Band 8477)

von: Yamine Ait Ameur · Klaus-Dieter Schewe Taschenbuch Details (Deutschland) ISBN-13: 978-3-662-43651-6 ISBN-10: 3-662-43651-5 Springer · 2014