Představení autora B. Berard:

Doposud vydané knihy od B. Berard:

Ověřování systémů a softwaru: Techniky a nástroje pro ověřování modelů - Systems and Software...
Springer Nature
Kontrola modelů je účinný přístup k formální...
Ověřování systémů a softwaru: Techniky a nástroje pro ověřování modelů - Systems and Software Verification: Model-Checking Techniques and Tools
<<
1
>>

© Book1 Group - všechna práva vyhrazena.
Obsah těchto stránek nesmí být kopírován ani použit, a to ani částečně ani úplně, bez písemného svolení vlastníka.
Poslední úprava: 2024.11.08 20:25 (GMT)