Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Lecture Notes in Computer Science, Band 8739)
von:
Elvira Albert
·
Emil Sekerinski
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-319-10180-4
ISBN-10: 3-319-10180-3
Springer
· 2014
