Deepak d'souza u a (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings | Deepak D'Souza (u. a.) | Taschenbuch | xviii | Englisch | 2015 | Springer | EAN 9783662460801 | 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. Automated Technology for Verification and Analysis | 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings | Deepak D'Souza (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2017 | Springer | EAN 9783319681665 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…