Liknande böcker

Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Implementation and Application of Functional Languages : 22nd Internatio...
Bok av Jurriaan. Hage
Rewriting Logic and Its Applications : 9th International Workshop, WRLA...
Bok av Franciso. Durán
Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher
Formal Modeling and Analysis of Timed Systems : 10th International Confe...
Bok av Marcin. Jurdziński
Implementation and Application of Functional Languages : 23rd Internatio...
Bok av Andy. Gill
Applications and Theory of Petri Nets : 32nd International Conference, P...
Bok av Lars M. Kristensen
Runtime Verification : Second International Conference, RV 2011, San Fra...
Bok av Sarfraz. Khurshid

Generic and Indexed Programming

Bok av Jeremy. Gibbons