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