NASA Formal Methods
eBook - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7,2026, Proceedings, Springer Nature Proceedings Computer Science
Jyotirmoy Deshmukh/Klaus Havelund/Alessandro Pinto
€90.95
(inklusive MwSt.)
Verfügbarkeit: Lieferbar
Weitere Details
Erschienen: 11.06.2026
Umfang: 33.38 MB
Sprache: ENG
ISBN/EAN: 9783032280794
Umbreit-Nr.: 2153379
