Software Verification Roderick Bloem (u. a.) Taschenbuch xiv Englisch 2022
Titel: Software Verification | Zusatz: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers | Medium: Taschenbuch | Redaktion: Roderick Bloem (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xiv / 197 S. / 25 s/w Illustr. / 42 farbige Illustr. / 197 p. 67 illus. / 42 illus. in color. | Auflage: 1st edition 2022 | Sprache: Englisch | Seiten: 212 | Maße: 235 x 155 x 12 mm | Erschienen: 22.02.2022 | Anbieter: Buchbär.
Jetzt bei Ebay: