NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science)

Ein wissenschaftliches Werk aus dem neunten internationalen Symposium zur formalen Methodik der NASA, das aktuelle Theorien, praktische Anwendungen un ...
NASA Formal Methods
Wo zu kaufen (3) Eigenschaften
Gesponsert
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science)
Medimops DE
52.94 EUR
Preis aktualisiert am: 06-11-2026 07:15:31
Siehe Produktangebot
Gesponsert
NASA Formal Methods
Hugendubel
53.49 EUR
Preis aktualisiert am: 07-11-2026 12:00:00
Siehe Produktangebot
Gesponsert
NASA Formal Methods
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 06-11-2026 06:28:44
Siehe Produktangebot

Allgemein

Marke
Clark Barrett
ISBN
Clark Barrett 3319572873

Eigenschaften

Ähnliche Produkte

NASA Formal Methods
NASA Formal Methods
Aus138.99 EUR 3
Produkt anzeigen
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Lecture Notes in Computer Science, Band 11460)
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Lecture Notes in Computer Science, Band 11460)
Aus70.49 EUR 4
Produkt anzeigen
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Lecture Notes in Computer Science, Band 7871)
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Lecture Notes in Computer Science, Band 7871)
Aus53.49 EUR 4
Produkt anzeigen
NASA Formal Methods
NASA Formal Methods
Aus70.00 EUR 2
Produkt anzeigen
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science)
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science)
Aus53.49 EUR 3
Produkt anzeigen
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Aus59.00 EUR 1
Produkt anzeigen
Menü