Leveraging Applications of Formal Methods, Verification and Validation. Application Areas – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
– Buch gebraucht, antiquarisch & neu kaufen
3 Treffer in
Bücher
gebraucht
Neuware


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Tiziana Margaria
Springer, Berlin, Springer Nature Switzerland, Springer
, TaschenbuchISBN: 9783031753893
Neuware


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas / 12th International Symposium, ISoLA 2024, Crete, Greece, October 27¿31, 2024, Proceedings, Part V / Buch
Bernhard Steffen
Springer Nature Switzerland
, 2024, TaschenbuchISBN: 9783031753893
Neuware


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Herausgegeben:Margaria, Tiziana; Steffen, Bernhard
Springer / Springer Nature Switzerland / Springer, Berlin
, SoftcoverISBN: 9783031753893
Neuware