FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science, Band 9109)
von:
Nikolaj Bjørner
·
Frank de Boer
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-319-19248-2
ISBN-10: 3-319-19248-5
Springer
· 2015
