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
>>