CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Recent Trends in Algebraic Development Techniques 14th International Workshop, Wadt '99 Chat...
Recent Trends in Algebraic Development Techniques 14th International Workshop, Wadt '99 Chat... by Bert, Didier, Choppy, Chris... ISBN: 9783540678984 List Price: $89.95
$52.33 (Save 41%)
2.
B'98 Recent Advances in the Development and Use of the B Method Second International B Conf...
B'98 Recent Advances in the Development and Use of the B Method Second International B Conf... by Didier, Bert ISBN: 9783540644057 List Price: $69.95
$52.33 (Save 25%)
3.
Zb 2003-Formal Specification and Development in Z and B Formal Specification and Development...
Zb 2003-Formal Specification and Development in Z and B Formal Specification and Development... by Bert, Didier, Bowen, Jonath... ISBN: 9783540402534 List Price: $104.00
$103.17
4.
Zb 2003 : Formal Specification and Development in Z and B
Zb 2003 : Formal Specification and Development in Z and B by Bert, Didier, Bowen, Jonath... ISBN: 9783662180303 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Zb 2002 : Formal Specification and Development in Z and B
Zb 2002 : Formal Specification and Development in Z and B by Bert, Didier, Bowen, Jonath... ISBN: 9783662164389 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques by Bert, Didier, Choppy, Chris... ISBN: 9783662163283 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
B'98 : Recent Advances in the Development and Use of the B Method
B'98 : Recent Advances in the Development and Use of the B Method by Didier, Bert ISBN: 9783662197394 List Price: $24.99

OUT OF STOCK

See Availability on Amazon