Andreas podelski u a (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings | Byron Cook (u. a.) | Taschenbuch | xi | Englisch | 2007 | Springer | EAN 9783540697350 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Networked Systems | 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers | Andreas Podelski (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxiii | Englisch | 2019 | Springer | EAN 9783030055288 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…