NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Lecture Notes in Computer Science, Band 7226)

Wo zu kaufen (2) Eigenschaften
Gesponsert
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Lecture Notes in Computer Science, Band 7226)
Medimops DE
53.49 EUR
Preis aktualisiert am: 11-05-2026 10:25:54
Siehe Produktangebot
Gesponsert
NASA Formal Methods
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-05-2026 09:38:02
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3642288901
MPN
Springer Berlin Heidelberg 79 black & white illustrations, biograph

Eigenschaften

Ähnliche Produkte

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)
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)
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)
Produkt anzeigen
NASA Formal Methods
NASA Formal Methods
Produkt anzeigen
NASA Formal Methods
NASA Formal Methods
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
Produkt anzeigen
Menü