Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Boeken - Springer International Publishing AG - 9783319105413 - 15 december 2014
Indien omslag en titel niet overeenkomen, is de titel correct

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL 2014 edition

Prijs
€ 72,49

Besteld in een afgelegen magazijn

Verwachte levering 13 - 21 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 15 december 2014
ISBN13 9783319105413
Uitgevers Springer International Publishing AG
Pagina's 298
Afmetingen 155 × 235 × 19 mm   ·   616 g
Taal en grammatica Engels  

Meer door Tobias Nipkow

Alles tonen

Bekijk alles van Tobias Nipkow ( bijv. Paperback Book en Hardcover Book )