D Bert的作品

Cover for D Bert · 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 - Lecture Notes in Computer Science (Paperback Book) (2002)
Paperback Book
Zb 2002, Formal Specification an...
D Bert
Cover for D Bert · Recent Trends in Algebraic Development Techniques: 14th International Workshop, Wadt '99, Chateau De Bonas, September 15-18, 1999 Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2000)
Paperback Book
Recent Trends in Algebraic Devel...
D Bert