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
Hugendubel
69.49 EUR
Preis aktualisiert am: 18-10-2026 12:52:38
Gesponsert
69.54 EUR
Preis aktualisiert am: 18-10-2026 15:13:49
Gesponsert
SpringerLink DE
77.00 EUR
Preis aktualisiert am: 20-10-2026 18:53:58

Allgemein

Marke
Sanjai Rayadurgam
ISBN
Sanjai Rayadurgam 3319406477

Eigenschaften

Menü