Isbn: 9783319249520 - automated technology for verification and analysis: 13th international symposium, atva 2015, shanghai, china, october 12-15, 2015, proceedings (programming and software engineering, band 9364) (4 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,88
EUR 13,14 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings | Bernd Finkbeiner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2015 | Springer | EAN 9783319249520 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Automated Technology for Verification and Analysis: 13th International Symposium, Atva 2015, Shanghai, China, October 12-15, 2015, Proceedings
Finkbeiner, Bernd (Editor)/ Pu, Geguang (Editor)/ Zhang, Lijun (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,02
EUR 40,73 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 536 pages. 9.25x6.10x1.21 inches. In Stock.
