Forwarded from Deleted Account
Program = Proof
Samuel Mimram
https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf
Samuel Mimram
https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf
Forwarded from /archive/ (TΓ©cnico de InformΓ‘tica)
Practical_Binary_Analysis_Build_Your_Own_Linux_Tools_for_Binary.pdf
32.9 MB
Forwarded from /archive/ (hat kid)
Implementing_Programming_Languages_an_Introduction_to_Compilers.pdf
1.8 MB
/archive/
Implementing_Programming_Languages_an_Introduction_to_Compilers.pdf
This book , in my opinion, giving simple word to understand about PL construction, it balance both theory and practical approach.
π1
Forwarded from epic links / resources (Model Komputasi)
Set Theory: An Open Introduction
https://st.openlogicproject.org/settheory-screen.pdf
https://st.openlogicproject.org/settheory-screen.pdf