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

© Book1 Group - wszelkie prawa zastrzeżone.
Zawartość tej strony nie może być kopiowana ani wykorzystywana w całości lub w części bez pisemnej zgody właściciela.
Ostatnia aktualizacja: 2024.11.13 21:45 (GMT)