Buy Used and New RubenGamboa Books

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... 8558 (Lecture Notes in Computer Science)

by Gerwin Klein, Ruben Gamboa

ISBN 13: 9783319089690

Format: Paperback (580 pages)
Publisher: Springer
Published: 01 Aug 2014

Save for later