Interactive Theorem Proving

Interactive Theorem Proving

EnglishPaperback / softbackPrint on demand
Springer, Berlin
EAN: 9783642396335
Print on demand
Delivery on Tuesday, 14. of July 2026
€57.83
Common price €64.25
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Banská Bystrica
not available
Oxford Bookshop Bratislava
not available
Oxford Bookshop Košice
not available
EAN 9783642396335
ISBN 364239633X
Binding Paperback / softback
Publisher Springer, Berlin
Publication date July 19, 2013
Pages 498
Language English
Dimensions 235 x 155
Country Germany
Readership Professional & Scholarly
Illustrations 73 Illustrations, black and white; XII, 498 p. 73 illus.
Editors Blazy Sandrine; Paulin-Mohring Christine; Pichardie David
Edition 2013 ed.
Series Theoretical Computer Science and General Issues
Manufacturer information
The manufacturer's contact information can be found here.