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 ».
Books
Software Engineering With Obj
This text provides a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes sp... »
This text provides a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes sp... »
Idea box
