NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Lecture Notes in Computer Science)

In den Proceedings des sechsten internationalen Symposiums zu formalen Methoden aus Houston (April 2014) finden Sie präzise Analysen, neue Algorith ...
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-05-2026 09:28:04
Gesponsert
53.49 EUR
Preis aktualisiert am: 10-05-2026 15:34:17

Allgemein

Marke
Badger, Julia M.
MPN
Badger, Julia M. 114 black & white illustrations, biograp
ISBN
Badger, Julia M. 9783319061993

Eigenschaften

Menü