Kurv Vare varer (tom)

Ingen varer

Fastlægges senere Forsendelse

0,- kr I alt

Kassen / rediger kurv

Varen er nu lagt i din kurv

Antal

I alt

Der er 0 varer i din kurv Der er 1 vare i din kurv

Varer i alt

Forsendelse i alt Fastlægges senere

I alt

Fortsæt indkøb

Tobias Nipkow Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Paperback / softback

Viser 1 - 1 af 1 resultat

PRIS

537,- kr

FRAGT FRA 35,-

Levering: Skaffevare (forvent 14 - 30 hverdage)

Concrete Semantics: With Isabelle/HOL (Bog, Paperback / softback, 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

537,- kr

FRAGT FRA 35,-

Levering: Skaffevare (forvent 14 - 30 hverdage)

Læg i kurv

Viser 1 - 1 af 1 resultat