Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 201, (Paperback)

Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 201, (Paperback) Author: Springer ISBN: 9783319089690 Format: Paperback Publication Date: 2014-08-01 Page Count: 555You may also like Embracing the Cloud as a Business Essential, (Paperback).