Vorstellung des Autors Nikolai Kosmatov:

Bisher veröffentlichte Bücher von Nikolai Kosmatov:

Leitfaden zur Software-Verifikation mit Frama-C: Kernkomponenten, Einsatzmöglichkeiten und...
Springer Nature
Frama-C ist ein populäres Open-Source-Toolset für...
Leitfaden zur Software-Verifikation mit Frama-C: Kernkomponenten, Einsatzmöglichkeiten und Anwendungen - Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
<<
1
>>

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)