|
|
|||
|
||||
OverviewThis book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. Full Product DetailsAuthor: Gerwin Klein , Ruben GamboaPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 2014 ed. Volume: 8558 Dimensions: Width: 15.50cm , Height: 3.00cm , Length: 23.50cm Weight: 8.657kg ISBN: 9783319089690ISBN 10: 3319089692 Pages: 555 Publication Date: 01 August 2014 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |