NASA Formal Methods
Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt.

NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Clark Barrett
Springer International Publishing
Sofort lieferbar | Lieferzeit: Sofort lieferbar I

53,49 €*

In den Warenkorb
Zum Merkzettel
Zahlung / Versand
ISBN-13:
9783319572888
Veröffentl:
2017
Seiten:
436
Autor:
Clark Barrett
Serie:
10227, Lecture Notes in Computer Science Programming and Software Engineering
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Systemvoraussetzungen
Beschreibung:

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.

weniger

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.
> neue Rezension schreiben
Mehr zum Thema
Google Plus
Powered by Inooga