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

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