Kosmatov, Nikolai (Hrsg.)
Prevosto, Virgile (Hrsg.)
Signoles, Julien (Hrsg.)
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-031-55608-1 |
|---|---|
| Seitenzahl | 697 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 23153 Kbytes |