Noch Fragen? 0800 / 33 82 637

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Produktform: Buch / Einband - flex.(Paperback)


Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-319-17523-2 / 978-3319175232 / 9783319175232

Verlag: Springer International Publishing

Erscheinungsdatum: 09.04.2015

Seiten: 458

Auflage: 1

Zielgruppe: Research

Herausgegeben von Klaus Havelund, Gerard Holzmann, Rajeev Joshi

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück