Krishna Shankaranarayanan (u. a.) | Verification, Model Checking, and...
56,95 €
Titel: Verification, Model Checking, and Abstract Interpretation | Zusatz: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II | Medium: Taschenbuch | Redaktion: Krishna Shankaranarayanan (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xiv / 254 S. / 17 s/w Illustr. / 35 farbige Illustr. / 254 p. 52 illus. / 35 illus. in color. | Sprache: Englisch | Seiten: 268 | Maße: 235 x 155 x 15 mm | Erschienen: 23.01.2025 | Anbieter: Faboplay.
Jetzt bei Ebay:
