Predstavenie autora Nikolai Kosmatov:

Doterajšie vydané knihy od Nikolai Kosmatov:

Sprievodca verifikáciou softvéru pomocou Frama-C: Základné komponenty, použitie a aplikácie - Guide...
Springer Nature
Frama-C je populárna open-source sada nástrojov na...
Sprievodca verifikáciou softvéru pomocou Frama-C: Základné komponenty, použitie a aplikácie - Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
<<
1
>>