CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Rewriting Techniques and Applications 9th International Conference, Rta-98 Tsukuba, Japan, M...
Rewriting Techniques and Applications 9th International Conference, Rta-98 Tsukuba, Japan, M... by Nipkow, T., Goos, G., Hartm... ISBN: 9783540643012 List Price: $79.95
$52.33 (Save 34%)
2.
Types for Proofs and Programs
Types for Proofs and Programs by Barendregt, H., Nipkow, T. ISBN: 9783540580850 List Price: $74.95
$52.33 (Save 30%)
3.
Software Safety and Security : Tools for Analysis and Verification
Software Safety and Security : Tools for Analysis and Verification by Nipkow, T., Grumberg, O. ISBN: 9781614990277 List Price: $196.00

OUT OF STOCK

See Availability on Amazon