Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Kirjat - Springer International Publishing AG - 9783319105413 - maanantai 15. joulukuuta 2014
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL 2014 edition

Hinta
€ 75,49

Tilattu etävarastosta

Arvioitu toimitus pe - ma 9. - 19. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 15. joulukuuta 2014
ISBN13 9783319105413
Tuottaja Springer International Publishing AG
Sivujen määrä 298
Mitta 155 × 235 × 19 mm   ·   616 g
Kieli Englanti  

Lisää tuotteita Tobias Nipkow

Näytä kaikki

Katso kaikki joka sisältää Tobias Nipkow ( Esim. Paperback Book Ja Hardcover Book )