Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25

Sidst søgt på

Bliv medlem
Du er ikke logget ind

Log ind Opret dig

Bliv medlem

Bøger
E-bøger
Lydbøger
Podcasts
Medlemskaber
- Alle medlemskaber
Inspiration
Jul 2024
- Julegaver efter tema
- Bøger til julen
Bestsellere
Erhverv
Kundeservice

Log ind Opret dig

Forfatter
Gerwin Klein

Alle bøger af Gerwin Klein

Alle tilgængelige bogudgivelser af Gerwin Klein på Saxo. Vi har 4 titler forfattet af Gerwin Klein, tilgængelig her på shoppen, se udvalget nedenfor.

Filtrér resultat

Type
- Bøger (3)
- E-bøger (1)
Format
- Paperback (2)
- Hardback (1)
- PDF (1)
Sprog
- Engelsk (4)
Tags
- Computer programming / software engineering (4)
- Mathematical theory of computation (4)
- Mathematical logic (3)
- Programming & scripting languages: general (3)
- Hoare logic (2)
- Proof assistant (2)
- Abstract interpretation (2)
- Compilers (2)
- Logical reasoning (2)
- Type systems (2)
- Isabelle (2)
- Program Analysis (2)
- Induction (2)
- Functional programming (2)
- Logic (2)
- Semantics (2)
- Automated reasoning (2)
- Denotational semantics (2)
- Rewriting (1)
- Real time systems (1)
- Algorithm analysis and problem complexity (1)
- Functional languages (1)
- Software engineering (1)
- Theorem proving and SAT solving (1)
- Program verification (1)
- Network protocols (1)
- Formal methods (1)
- Denotationalfunctionalprogramming (1)
- Artificial intelligence (1)
- Algorithms & data structures (1)
- Embedded systems (1)
- Information technology: general issues (1)
- Computer security (1)
- Virtual-machines (1)
- Turing machine (1)
Forlag
- Springer International Publishing AG (3)
- Springer International Publishing (1)

Ryd alle

Der er 4 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Concrete Semantics
- Gerwin Klein
- E-bog, PDF
- Sprog: Engelsk
- Læs mere
- kr. 449,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 449,95
- kr. 399,95
  med Shopping-fordele
- Concrete Semantics
- Tobias Nipkow & Gerwin Klein
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 589,95
- kr. 559,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 589,95
- kr. 559,95
  med Shopping-fordele
- Concrete Semantics
- Tobias Nipkow & Gerwin Klein
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Interactive Theorem Proving
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele

I Saxo elsker vi bøger, og alt det bøger kan betyde for dig og for samfundet. I over 20 år har vi arbejdet for at inspirere dig til at se nye sider af bøger – og måske af livet – hver dag. Sammen med vores kunder og UNICEF gør vi en indsats for, at alle verdens børn skal lære at læse. Vi vil gøre det så nemt som muligt for dig at læse, lytte til og udgive bøger i alle afskygninger - fra forfatteren får sin første idé til du som læser vender den sidste side. Læs Lyt Lev.

Administrér samtykke

Kontakt & hjælp

Saxo.com A/S (CVR: 29197849)

Telefon: (+45) 38150510

Email: info@saxo.com

Sociale medier

facebook
instagram
linkedin
youtube

Nem betaling

Tekst, grafik, billeder, lyd og andet indhold på dette website er beskyttet efter lov om ophavsret. Saxo.com A/S forbeholder sig alle rettigheder til indholdet, på egne og udgiveres vegne, herunder retten til at udnytte indholdet med henblik på tekst- og datamining, jf. ophavsretslovens § 11 b og DSM-direktivets artikel 4.

Kontakt os
Om Saxo
Presse
Karriere i Saxo
Adresser
Følg din ordre
Gavekort
Returnering
Cookiepolitik
Cookiedeklaration
Persondatapolitik
Salgsbetingelser

Bliv medlem af Saxo
Bøger i Saxos app
Bøger
Lydbøger
E-bøger
Studiebøger
Erhvervskunder
Saxo for UNICEF
Nye bogtitler
Saxo Publish

Boginspiration

Indtast din e-mail

Saxo.com må gerne kontakte mig via e-mail, sms og telefon med tilpassede nyheder og tilbud på print og digitale produkter og tjenester, lyd-, streaming-, kultur- og underholdningstilbud, arrangementer samt mulighed for deltagelse i konkurrencer o.l. fra Saxo.com og fra udvalgte brands og koncernselskaber i JP/Politikens Hus A/S. Listen med brands og koncernselskaber kan løbende opdateres, så der altid præsenteres relevante og aktuelle nyheder og tilbud.

Med mit samtykke accepterer jeg også, at Saxo.com må behandle mine persondata og indsamle information om min interaktion med markedsføringsmeddelelser (såsom åbning og læsning) ved hjælp af tracking pixels og lignende teknologier. Læs mere i vores privatlivspolitik og cookiepolitik.

Samtykket kan altid tilbagekaldes via afmeldingslink eller ved at kontakte kundeservice.

Machine Name: SAXO084