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