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

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)