Computer Aided Verification – 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
– 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.
Computer Aided Verification
Georg Weissenbacher
Springer International Publishing
, 22.07.2018, TaschenbuchISBN: 9783319961415
Neuware


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Computer Aided Verification
Georg Weissenbacher
Springer International Publishing
, 22.07.2018, TaschenbuchISBN: 9783319961415
Neuware


Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Computer Aided Verification
Herausgegeben:Chockler, Hana; Weissenbacher, Georg
Springer / Springer International Publishing / Springer, Berlin
, SoftcoverISBN: 9783319961415
Neuware