Tobias Nipkow Forfatter

Visning: Type : Alle | Sprog : Engelsk | Format : Hardback Der vises kun varer på engelsk

• 

  PRIS

  698,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Concrete Semantics: With Isabelle/HOL (Bog, Hardback, Engelsk)

  Af: Tobias Nipkow

  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... Læs mere

  PRIS

  698,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv