Showing 1 - 3 of 3 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, Bernhard ISBN-13: 9783540438571 ISBN-10: 3540438572 List Price: $61.95
$31.88 (Save 48%)
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, Eerke, Sc... ISBN-13: 9781852332457 ISBN-10: 185233245X List Price: $139.00
$93.20 (Save 32%)
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, John, Sm... ISBN-13: 9783540213772 ISBN-10: 3540213775 Paperback, 2004 List Price: $95.00
$75.98 (Save 20%)