Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

All About Maude
All About Maude
How to Specify, Program, and Verify Systems in Rewriting Logic »
 
 
 
 
 

Reflection In Rewriting Logic
Reflection In Rewriting Logic
Metalogical Foundations and Metaprogramming Applications »