Predstavenie autora B. Berard:

Doterajšie vydané knihy od B. Berard:

Overovanie systémov a softvéru: Techniky a nástroje na overovanie modelov - Systems and Software...
Springer Nature
Kontrola modelov je výkonný prístup na formálnu...
Overovanie systémov a softvéru: Techniky a nástroje na overovanie modelov - Systems and Software Verification: Model-Checking Techniques and Tools
<<
1
>>