Prezentacja autora Aaron Stump:

Dotychczas wydane książki Aaron Stump:

Zweryfikowano programowanie funkcjonalne w Agda - Verified Functional Programming in Agda
Agda to zaawansowany język programowania oparty na teorii...
Zweryfikowano programowanie funkcjonalne w Agda - Verified Functional Programming in Agda
Zweryfikowane programowanie funkcjonalne w Agda - Verified Functional Programming in Agda
Agda to zaawansowany język programowania oparty na teorii...
Zweryfikowane programowanie funkcjonalne w Agda - Verified Functional Programming in Agda
<<
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)