1
How to design programs : an introduction to programming and computing /
Book
Other Personal Name(s): “...Felleisen, Matthias...”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
2
The little prover [E-Book] /
Other Personal Name(s): “...Felleisen, Matthias...”

Full text 
Favorites
Saved in:
3
Programming Languages and Systems [E-Book] : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Other Personal Name(s): “...Felleisen, Matthias....”

Full text 
Favorites
Saved in:

Narrow Search Results