NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science, Band 10811)

Ein Fachbuch aus dem 10. NASA Symposium zu formalen Methoden, das theoretische Konzepte, praktische Algorithmen und Fallstudien zur Softwareverifikati ...

Wo zu kaufen (2) Eigenschaften

Gesponsert

Medimops DE

53.49 EUR

Preis aktualisiert am: 04-09-2026 00:17:35

Siehe Produktangebot

Gesponsert

NASA Formal Methods

SpringerLink DE

53.49 EUR

Preis aktualisiert am: 04-09-2026 05:27:18

Siehe Produktangebot

Allgemein

Marke

LavishLivings

ISBN

LavishLivings 3319779346

Eigenschaften

Ähnliche Produkte

NASA Formal Methods

Produkt anzeigen

NASA Formal Methods

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)

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)

Produkt anzeigen

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: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Produkt anzeigen