Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia, Brazil, September 26–29, 2017, Proceedings - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319661063 - August 21, 2017
In case cover and title do not match, the title is correct

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia, Brazil, September 26–29, 2017, Proceedings - Lecture Notes in Computer Science 2017 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.

532 pages, 79 Illustrations, black and white; XIX, 532 p. 79 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 21, 2017
ISBN13 9783319661063
Publishers Springer International Publishing AG
Pages 532
Dimensions 150 × 220 × 10 mm   ·   8.25 kg
Language German  
Editor Ayala-Rincon, Mauricio
Editor Munoz, Cesar A.

Mere med samme udgiver