Guide to Software Verification with Frama-C | Nikolai Kosmatov (u. a.) | Buch
63,95 €
Titel: Guide to Software Verification with Frama-C | Zusatz: Core Components, Usages, and Applications | Medium: Buch | Redaktion: Nikolai Kosmatov (u. a.) | Einband: Gebunden | Inhalt: xxiv / 697 S. / 127 s/w Illustr. / 69 farbige Illustr. / 697 p. 196 illus. / 69 illus. in color. | Auflage: 2024 | Sprache: Englisch | Seiten: 724 | Maße: 241 x 160 x 45 mm | Erschienen: 10.07.2024 | Anbieter: Anja's.
Jetzt bei Ebay:
