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
Zb 2002, Formal Specification And Development In Z And B
2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings »
2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings »
Zum'98 The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 Proceedings »
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 Proceedings »
Idea box
