Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Böcker - Springer International Publishing AG - 9783319105413 - 15 december 2014
Om omslag och titel inte matchar är det titeln som gäller

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL 2014 edition

Pris
SEK 789

Beställningsvara

Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

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 Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 15 december 2014
ISBN13 9783319105413
Utgivare Springer International Publishing AG
Antal sidor 298
Mått 155 × 235 × 19 mm   ·   616 g
Språk Engelska  

Fler produkter med Tobias Nipkow

Visa alla

Se alt med Tobias Nipkow ( t.ex. Pocketbok och Inbunden Bok )