Franck cassez u a (1 Ergebnisse)

Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings | Franck Cassez (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiv | Englisch | 2014 | Springer | EAN 9783319119359 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…