Prezentarea autorului Nikolai Kosmatov:

Cărțile publicate de Nikolai Kosmatov până acum:

Guide to Software Verification with Frama-C: Componente de bază, utilizări și aplicații - Guide to...
Springer Nature
Frama-C este un set popular de instrumente...
Guide to Software Verification with Frama-C: Componente de bază, utilizări și aplicații - Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)