Bernd Finkbeiner (u. a.) | Automated Technology for Verification and Analysis
49,95 €
Titel: Automated Technology for Verification and Analysis | Zusatz: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings | Medium: Taschenbuch | Redaktion: Bernd Finkbeiner (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xiii / 520 S. / 96 s/w Illustr. / 520 p. 96 illus. | Auflage: 1st edition 2015 | Sprache: Englisch | Seiten: 536 | Maße: 235 x 155 x 29 mm | Erschienen: 22.11.2015 | Anbieter: Faboplay.
Jetzt bei Ebay:
