NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27 - 29, 2015 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: USA National Aeronautics and Space Administration (VerfasserIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: 2015
Schriftenreihe:Lecture notes in computer science 9058
Schlagworte:
Beschreibung:XIII, 458 S. Ill., graph. Darst.
ISBN:9783319175232

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!