Představení autora Talia Ringer:

Doposud vydané knihy od Talia Ringer:

Qed na svobodě: A Survey of Engineering of Formally Verified Software (Přehled inženýrství formálně...
New Publ Inc
Vývoj formálních důkazů správnosti programů může...
Qed na svobodě: A Survey of Engineering of Formally Verified Software (Přehled inženýrství formálně ověřeného softwaru) - Qed at Large: A Survey of Engineering of Formally Verified Software
<<
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)