Markus müller olm u a (3 Ergebnisse)
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings | Neil Jones (u. a.) | Taschenbuch | xi | Englisch | 2008 | Springer | EAN 9783540938996 | Verantwortliche Person für die EU: Springer Verlag GmbH,…Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Static Analysis | 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings | Markus Müller-Olm (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2014 | Springer | EAN 9783319109350 | Verantwortliche Person für die EU: Springer Verlag GmbH,… Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Dependable Software Engineering. Theories, Tools, and Applications | 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings | Xinyu Feng (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2018 | Springer | EAN 9783319999326 | Verantwortliche…Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
