|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/331/9783319661063.jpg&wmax=80&hmax=80) | Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings 2017 Edition | Ayala-Rincón, Mauricio | Paperback | 331966106X / 9783319661063 | 08/2017 | $52.24 |
| ![](thumb.php?src=products/128/9781289165420.jpg&wmax=80&hmax=80) | Rapid Prototyping in Pvs | Nasa Technical Reports Server | Paperback | 1289165424 / 9781289165420 | 07/2013 | $14.96 |
| ![](thumb.php?src=products/354/9783540440390.jpg&wmax=80&hmax=80) | Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings 2002 Edition (Lecture Notes in Computer Science,) | Carreno, Victor A. | Paperback | 3540440399 / 9783540440390 | 08/2002 | $52.24 |
|
|
|