CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 8 of 8 Results
1.
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion ...
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion ... by Comon-Lundh, Hubert, Kirchn... ISBN: 9783540731467 List Price: $64.95
$37.83 (Save 41%)
2.
Computer Aided Verification 2001
Computer Aided Verification 2001 by Berry, Gerard, Comon, Huber... ISBN: 9783540423454 List Price: $94.95
$103.17
3.
Rewriting Techniques and Applications 8th International Conference, Rta-97, Sitges, Spain, J...
Rewriting Techniques and Applications 8th International Conference, Rta-97, Sitges, Spain, J... by Comon, Hubert ISBN: 9783540629504 List Price: $74.95
$52.33 (Save 30%)
4.
Constraints in Computational Logics Theory and Applications International Summer School, Cc...
Constraints in Computational Logics Theory and Applications International Summer School, Cc... by Comon, Hubert, Marché, Clau... ISBN: 9783540419501 List Price: $62.95
$28.22 (Save 55%)
5.
Constraints in Computational Logics. Theory and Applications
Constraints in Computational Logics. Theory and Applications by Comon, Hubert, Marche, Clau... ISBN: 9783662207116 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Computer Aided Verification
Computer Aided Verification by Berry, Gerard, Comon, Huber... ISBN: 9783662178379 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, ...
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, ... by Comon, Hubert, Jouannaud, J... ISBN: 9783662191194 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
8.
Rewriting Techniques and Applications
Rewriting Techniques and Applications by Comon, Hubert ISBN: 9783662177600 List Price: $24.99

OUT OF STOCK

See Availability on Amazon