Buy Used and New Burkhart Wolff Books

Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings: 10889 (Lecture Notes in Computer Science)

by Catherine Dubois, Burkhart Wolff

ISBN 13: 9783319929934

Format: Paperback (176 pages)
Publisher: Springer
Published: 06 Jul 2018

Save for later

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings: 2758 (Lecture Notes in Computer Science)

by Burkhart Wolff, David Basin

ISBN 13: 9783540406648

Format: Paperback (380 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later