Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Books - Springer International Publishing AG - 9783319357591 - September 10, 2016
In case cover and title do not match, the title is correct

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL Softcover reprint of the original 1st ed. 2014 edition

Price
£ 40.99

Ordered from remote warehouse

Expected delivery Jan 9 - 19, 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
or

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.

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 10, 2016
ISBN13 9783319357591
Publishers Springer International Publishing AG
Pages 298
Dimensions 234 × 156 × 19 mm   ·   490 g
Language French  

More by Tobias Nipkow

Show all

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