Proof Assistants and Their Applications in Mathematics and Computer Science
Book Details
Format
Hardback or Cased Book
Book Series
Computer Science Foundations and Applied Logic
ISBN-10
3031851897
ISBN-13
9783031851896
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jan 12th, 2026
Print length
390 Pages
Product Classification:
Mathematical logicMaths for computer scientists
Ksh 11,700.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.
Get Proof Assistants and Their Applications in Mathematics and Computer Science by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
