Nikolai Kosmatov szerző bemutatása:

Nikolai Kosmatov szerző eddig megjelent könyvei:

Útmutató a Frama-C-vel végzett szoftverellenőrzéshez: Core Components, Usages, and Applications -...
Springer Nature
A Frama-C egy népszerű nyílt forráskódú...
Útmutató a Frama-C-vel végzett szoftverellenőrzéshez: Core Components, Usages, and Applications - Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
<<
1
>>

© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)