Proof Assistants and Their Applications in Mathematics and Computer Science - Computer Science Foundations and Applied Logic - - Books - Springer International Publishing AG - 9783031851896 - November 11, 2026
In case cover and title do not match, the title is correct

Proof Assistants and Their Applications in Mathematics and Computer Science - Computer Science Foundations and Applied Logic

Price
$ 76.49
excl. VAT
Expected delivery Nov 19 - 24, 2026

Our customers say:

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

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.

Media Books     Hardcover Book   (Book with hard spine and cover)
To be released November 11, 2026
ISBN13 9783031851896
Publishers Springer International Publishing AG
Pages 390
Dimensions 150 × 220 × 20 mm   ·   617 g   (Weight (estimated))
Editor Blanchette, Jasmin
Editor Mahboubi, Assia

Mere med samme udgiver