Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Concrete Semantics
- With Isabelle/HOL
Engelsk
Bogcover for Concrete Semantics af Tobias Nipkow, Gerwin Klein, 9783319105413
Specifikationer
Sprog:
Engelsk
Sider:
298
ISBN-13:
9783319105413
Indbinding:
Hardback
ISBN-10:
3319105418
Udg. Dato:
15 dec 2014
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
15 dec 2014
Forfatter(e):

Concrete Semantics

- With Isabelle/HOL
Engelsk
Hardback 2014
Format:

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
757,27 kr
Hos Booktok
572 kr
spar 24%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
298
ISBN-13:
9783319105413
Indbinding:
Hardback
ISBN-10:
3319105418
Udg. Dato:
15 dec 2014
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
15 dec 2014
Forfatter(e):
Finder produkter...
Kategori sammenhænge