Liknande böcker

Hardware and Software: Verification and Testing : 10th International Hai...
Bok av Eran. Yahav
Unifying Theories of Programming : Third International Symposium, UTP 20...
Bok av Shengchao. Qin
Logic-Based Program Synthesis and Transformation : 27th International Sy...
Bok av Fabio Fioravanti
Rewriting Logic and Its Applications
Bok
Rewriting Logic and Its Applications : 10th International Workshop, WRLA...
Bok av Santiago. Escobar
Hardware and Software: Verification and Testing
Bok
Implementation and Application of Functional Languages : 21st Internatio...
Bok av Marco T. Morazán
Implementation and Application of Functional Languages : 24th Internatio...
Bok av Ralf. Hinze

Functional and Logic Programming

Bok av Michael. Codish