Ahmed Bouajjani (u. a.) | Automated Technology for Verification and Analysis
72,95 €
Titel: Automated Technology for Verification and Analysis | Zusatz: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings | Medium: Taschenbuch | Redaktion: Ahmed Bouajjani (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xxiii / 432 S. / 30 s/w Illustr. / 64 farbige Illustr. / 432 p. 94 illus. / 64 illus. in color. | Auflage: 1st edition 2022 | Sprache: Englisch | Seiten: 456 | Maße: 235 x 155 x 25 mm | Erschienen: 23.10.2022 | Anbieter: Faboplay.
Jetzt bei Ebay:
