CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
S�mantiques Formelles
S�mantiques Formelles by Blazy, Sandrine ISBN: 9786131529955 List Price: $63.00
$63.90
2.
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 201...
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 201... by Blazy, Sandrine, Chechik, M... ISBN: 9783319488684 List Price: $72.00
$51.31 (Save 28%)
3.
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11...
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11... by Blazy, Sandrine, Jensen, Th... ISBN: 9783662482872 List Price: $84.00
$51.31 (Save 38%)
4.
Interactive Theorem Proving : 4th International Conference, Itp 2013, Rennes, France, July 2...
Interactive Theorem Proving : 4th International Conference, Itp 2013, Rennes, France, July 2... by Blazy, Sandrine, Paulin-Moh... ISBN: 9783642396359 List Price: $24.99

OUT OF STOCK

See Availability on Amazon