Suchergebnisse für "Jyotirmoy V Deshmukh/Klaus Havelund/Ivan Perez"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Jyotirmoy V Deshmukh/Klaus Havelund/Ivan Perez" gefunden.
Katalogsuche
NASA Formal Methods
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27,2022, Proceedings, Lecture Notes in Computer Science 13260
Jyotirmoy V Deshmukh/Klaus Havelund/Ivan Perez
Springer Verlag GmbH
139,09 €
(inklusive MwSt.)
Lieferbar
NASA Formal Methods
eBook - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27,2022, Proceedings, Springer Nature Proceedings Computer Science
Jyotirmoy V Deshmukh/Klaus Havelund/Ivan Perez
SPRINGER
148,95 €
(inklusive MwSt.)
Lieferbar
