Bert Didier · D B · D. Bert · Didier B.
Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 1999 Selected Papers | 978-3-540-67898-4 (3-540-67898-0) | 2000 | |
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ... Notes in Computer Science , Band 2272) | 978-3-540-43166-4 (3-540-43166-7) | 2008 | Jonathan P. Bowen · Martin C. Henson · Ken Robinson |
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings ... Notes in Computer Science , Band 2651) | 978-3-540-40253-4 (3-540-40253-5) | 2003 |