CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Tools and Algorithms for the Construction and Analysis of Systems 9th International Conferen...
Tools and Algorithms for the Construction and Analysis of Systems 9th International Conferen... by Garavel, Hubert, Hatcliff, ... ISBN: 9783540008989 List Price: $119.00
$103.17 (Save 13%)
2.
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6. 1 International Conference...
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6. 1 International Conference... by Hatcliff, John, Zucca, Elena ISBN: 9783642134630 List Price: $94.00
$51.31 (Save 45%)
3.
Partial Evaluation Practice and Theory Diku 1998 International Summer School Copenhagen, De...
Partial Evaluation Practice and Theory Diku 1998 International Summer School Copenhagen, De... by DIKU International Summer S... ISBN: 9783540667100 List Price: $71.95
$52.33 (Save 27%)
4.
Foundations of the Bandera Abstraction Tools
Foundations of the Bandera Abstraction Tools by Hatcliff, John, Nasa Techni... ISBN: 9781289157760 List Price: $15.75

OUT OF STOCK

See Availability on Amazon
5.
PEPM '08 : Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics...
PEPM '08 : Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics... by Hatcliff, John, Glück, R., ... ISBN: 9781595939777

OUT OF STOCK

See Availability on Amazon
6.
Partial Evaluation. Practice and Theory
Partial Evaluation. Practice and Theory by Hatcliff, John, Mogensen, T... ISBN: 9783662161821 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems by Garavel, Hubert, Hatcliff, ... ISBN: 9783662186091 List Price: $24.99

OUT OF STOCK

See Availability on Amazon