NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Lecture Notes in Computer Science)

Der Band fasst die Beiträge des achten internationalen Symposiums zu formalen Methoden zusammen, präsentiert neue theoretische Konzepte und konkrete ...
Gesponsert
SpringerLink DE
69.54 EUR
Preis aktualisiert am: 22-05-2026 15:36:30
Gesponsert
69.54 EUR
Preis aktualisiert am: 22-05-2026 03:24:19

Allgemein

Marke
Sanjai Rayadurgam
ISBN
Sanjai Rayadurgam 3319406477

Eigenschaften

Menü