Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Books - Springer International Publishing AG - 9783319105413 - December 15, 2014
In case cover and title do not match, the title is correct

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL 2014 edition

Price
$ 79.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 12 - 22, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

Also available as:

Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.

298 pages, 86 black & white illustrations, 1 colour illustrations, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 15, 2014
ISBN13 9783319105413
Publishers Springer International Publishing AG
Pages 298
Dimensions 155 × 235 × 19 mm   ·   616 g
Language English  

More by Tobias Nipkow

Show all

See all of Tobias Nipkow ( e.g. Paperback Book and Hardcover Book )