Paperback Book
Show unavailable items

Releases by Didier Bert

May 20, 2003

Cover for Didier Bert · Zb 2003, Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2003)
Paperback Book
Zb 2003, Formal Specification an...
Didier Bert