1.
 |  | Title: Zb 2003-Formal Specification and Development in Z and B: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings
by Didier Bert, Jonathan P. Bowen, Finland) International Conference of B and Z Users 2003 Turku, Steve King, Marina Walden
ISBN: 3540402535
Publisher: Springer-Verlag
Pub. Date: 01 August, 2003
List Price: $87.00
Amazon.com Price: $87.00 |
2.
|  | Title: Zb 2002: Formal Specification and Development in Z and B
by France) International Conference of B and Z Users 2002 Grenoble, J. P. Bowen, M. C. Henson, K. Robinson, D. Bert, Didier Bert
ISBN: 3540431667
Publisher: Springer-Verlag Telos
Pub. Date: 01 March, 2002
List Price: $87.95
Amazon.com Price: $87.95 |
3.
|  | Title: Recent Trends in Algebraic Development Techniques: 14th International Workshop, Wadt '99 Chateau De Bonas, September 15-18, 1 999 : Selected Papers (Lecture Notes in Computer Science, 1827)
by Wadt '9, Didier Bert, C. Choppy, Peter Mosses
ISBN: 3540678980
Publisher: Springer-Verlag Telos
Pub. Date: 01 December, 2000
List Price: $89.95
Amazon.com Price: $89.95 |
4.
|  | Title: B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
by Didier Bert
ISBN: 3540644059
Publisher: Springer-Verlag
Pub. Date: 01 June, 1998
List Price: $77.95
Amazon.com Price: $77.95 |
