|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Recent Trends in Algebraic Development Techniques: 14th International Workshop, Wadt '99, Chateau de Bonas, September 15-18, 1999 Selected Papers 2000 Edition (Lecture Notes in Economic and Mathematical Systems) | Bert, Didier | Paperback | 3540678980 /
9783540678984 | 09/2000 | $52.24 |
|  | Zb 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceed 2002 Edition (Lecture Notes in Computer Science,) | Bert, Didier | Paperback | 3540431667 /
9783540431664 | 01/2002 | $52.24 |
|  | 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 2003 Edition (Lecture Notes in Computer Science) | Bert, Didier | Paperback | 3540402535 /
9783540402534 | 05/2003 | $104.49 |
|
|
|