NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings: 6617 (Lecture Notes in Computer Science, 6617)

Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

ISBN 10: 3642203973 ISBN 13: 9783642203978
Verlag: Springer, 2011
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von Rarewaves.com UK, London, Vereinigtes Königreich

AbeBooks-Verkäufer seit 11. Juni 2025

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis:
EUR 66,06
EUR 75,75 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb legen