Nasa formal methods 18th (3 Ergebnisse)
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 57, 2026, Proceedings (Lecture Notes in Computer Science, 16622)
Deshmukh, Jyotirmoy (Editor)/ Havelund, Klaus (Editor)/ Pinto, Alessandro (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,16
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 583 pages. 6.14x1.19x9.21 inches. In Stock.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 127,04
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 71,95
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. NASA Formal Methods | 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings | Jyotirmoy Deshmukh (u. a.) | Taschenbuch | xv | Englisch | 2026 | Springer | EAN 9783032280787 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg,… juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
