Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings | Isil Dillig (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2018 | Springer | EAN 9783319737201 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Computer Aided Verification | 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I | Isil Dillig (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2019 | Springer | EAN 9783030255398 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Computer Aided Verification | 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II | Isil Dillig (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2019 | Springer | EAN 9783030255428 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.