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 I | Medium: Taschenbuch | Redaktion: Krishna Shankaranarayanan (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xiv / 238 S. / 35 s/w Illustr. / 36 farbige Illustr. / 238 p. 71 illus. / 36 illus. in color. | Sprache: Englisch | Seiten: 252 | Maße: 235 x 155 x 14 mm | Erschienen: 24.01.2025 | Anbieter: Faboplay.
Jetzt bei Ebay:
