Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
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 »
