CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
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
2.
Static Analysis : 27th International Symposium, SAS 2020, Chicago, il, USA, November 18-20, ...
Static Analysis : 27th International Symposium, SAS 2020, Chicago, il, USA, November 18-20, ... by Pichardie, David, Sighirean... ISBN: 9783030654733
$73.96