CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 11 of 11 Results
1.
Mathematics of Program Construction 6th International Conference, Mpc 2002, Dagstuhl Castle,...
Mathematics of Program Construction 6th International Conference, Mpc 2002, Dagstuhl Castle,... by Boiten, Eerke A., Moller, B... ISBN: 9783540438571 List Price: $61.95
$52.33 (Save 15%)
2.
Refinement in Z and Object-Z : Foundations and Advanced Applications
Refinement in Z and Object-Z : Foundations and Advanced Applications by Derrick, John, Boiten, Eerk... ISBN: 9781447153542 List Price: $129.00
$101.14 (Save 21%)
3.
Integrated Formal Methods 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7,...
Integrated Formal Methods 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7,... by Boiten, Eerke, Derrick, Joh... ISBN: 9783540213772 List Price: $95.00
$46.53 (Save 51%)
4.
Refinement : Semantics, Languages and Applications
Refinement : Semantics, Languages and Applications by Derrick, John, Boiten, Eerk... ISBN: 9783319927091 List Price: $109.99
$51.31 (Save 53%)
5.
Refinement in Z and Object-Z
Refinement in Z and Object-Z by Derrick, John, A Boiten, Eerke ISBN: 9781447102588 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Integrated Formal Methods
Integrated Formal Methods by Boiten, Eerke, Derrick, Joh... ISBN: 9783662170496 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Refinement in Z and Object-Z: Foundations and Advanced Applications
Refinement in Z and Object-Z: Foundations and Advanced Applications by Derrick, John, Boiten, Eerk... ISBN: 9781447161677 List Price: $129.00
$103.17 (Save 20%)
8.
Refinement in Z and Object-Z Foundations and Advanced Applications
Refinement in Z and Object-Z Foundations and Advanced Applications by Derrick, John, Boiten, Eerk... ISBN: 9781852332457 List Price: $139.00

OUT OF STOCK

See Availability on Amazon
9.
Refinement : Semantics, Languages and Applications
Refinement : Semantics, Languages and Applications by Derrick, John, Boiten, Eerke ISBN: 9783030064976 List Price: $74.99
$52.33 (Save 30%)
10.
Mathematics of Program Construction
Mathematics of Program Construction by Boiten, Eerke A., Moller, B... ISBN: 9783662200247 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
11.
Refinement in Z and Object-Z : Foundations and Advanced Applications
Refinement in Z and Object-Z : Foundations and Advanced Applications by Derrick, John, Boiten, Eerk... ISBN: 9781447153566 List Price: $24.99

OUT OF STOCK

See Availability on Amazon