Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
– 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. Specification and Verification / Bernhard Steffen (u. a.) / Taschenbuch / Lecture Notes in Computer Science / Paperback / xiii
Bernhard Steffen
Springer Nature Switzerland
, 2024, TaschenbuchISBN: 9783031753794
Neuware


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Bernhard Steffen
Springer Nature Switzerland, Springer Nature Switzerland
, 30.10.2024, TaschenbuchISBN: 9783031753794
Neuware


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