Prezentacja autora Talia Ringer:

Dotychczas wydane książki Talia Ringer:

Qed at Large: Przegląd inżynierii formalnie zweryfikowanego oprogramowania - Qed at Large: A Survey...
Opracowanie formalnych dowodów poprawności...
Qed at Large: Przegląd inżynierii formalnie zweryfikowanego oprogramowania - Qed at Large: A Survey of Engineering of Formally Verified Software
<<
1
>>