FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Lecture Notes in Computer Science, Band 8442)

Pihlajasaari

von: Cliff Jones · Pekka Pihlajasaari · Jun Sun

Taschenbuch

Details (Deutschland)

EAN=ISBN-13: 978-3-319-06409-3

ISBN-10: 3-319-06409-6

Springer · 2014