Prezentacja autora Nikolai Kosmatov:

Dotychczas wydane książki Nikolai Kosmatov:

Przewodnik po weryfikacji oprogramowania za pomocą Frama-C: Podstawowe komponenty, zastosowania i...
Springer Nature
Frama-C to popularny zestaw narzędzi open-source...
Przewodnik po weryfikacji oprogramowania za pomocą Frama-C: Podstawowe komponenty, zastosowania i aplikacje - Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
<<
1
>>