CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Types for Proofs And Programs International Workshop, Types 2004, Jouy-en-josas, France, Dec...
Types for Proofs And Programs International Workshop, Types 2004, Jouy-en-josas, France, Dec... by Filliatre, Jean-Christophe,... ISBN: 9783540314288 List Price: $63.00
$52.33 (Save 16%)
2.
Proceedings of the 4th Acm Sigplan Workshop on Programming Languages Meets Program Verification
Proceedings of the 4th Acm Sigplan Workshop on Programming Languages Meets Program Verification by Filliatre, Jean-Christophe ISBN: 9781605588902 List Price: $10.00

OUT OF STOCK

See Availability on Amazon