Proof Assistants and Their Applications in Mathematics and Computer Science - Computer Science Foundations and Applied Logic - - Books - Springer International Publishing AG - 9783031851896 - 2027
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
Íkr 9,599
excl. VAT
Expected delivery Jan 11 - 14, 2027

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 2027
ISBN13 9783031851896
Publishers Springer International Publishing AG
Pages 390
Dimensions 150 × 220 × 20 mm   ·   617 g   (Weight (estimated))
Editor Blanchette, Jasmin
Editor Mahboubi, Assia

More from the same publisher