1.
Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Gr...
by Schubert, E. T., Windley, P...
ISBN: 9783540602750
List Price: $89.95
2.
Higher Order Logic Theorem Proving and Its Applications
by Schubert, E. Thomas, Windle...
ISBN: 9783662176207
List Price: $24.99
OUT OF STOCK
See Availability on Amazon3.
Cyber Security : Second International Symposium, CSS 2015, Coeur d'Alene, ID, USA, April 7-8...
by Haltinner, Kristin, Sarathc...
ISBN: 9783319283128
List Price: $72.00