NASA formal methods: Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2011
Schriftenreihe:Lecture notes in computer science 6617
Schlagworte:
Online-Zugang:Inhaltstext
Inhaltsverzeichnis
Beschreibung:Erscheint: 31. Maerz 2011
Beschreibung:XIV, 534 S. graph. Darst.
ISBN:9783642203978
3642203973

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung