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
Iman Poernomo

Alle bøger af Iman Poernomo

Alle tilgængelige bogudgivelser af Iman Poernomo på Saxo. Vi har 3 titler forfattet af Iman Poernomo, tilgængelig her på shoppen, se udvalget nedenfor.

Filtrér resultat

Type
- Bøger (2)
- E-bøger (1)
Format
- Paperback (1)
- Hardback (1)
- PDF (1)
Sprog
- Engelsk (3)
Tags
- Computer programming / software engineering (3)
- Mathematical logic (3)
- Type theory (2)
- Software engineering (2)
- Formal method (2)
- Formal methods (2)
- Computer (2)
- Software (2)
- Computer architecture & logic design (2)
- Logic (2)
- Proof (2)
- Computer science (2)
- Program synthesis (2)
- Mathematical foundations (1)
- Logic, Symbolic and mathematical (1)
- Curry-Howard isomorphism (1)
- Proof theory (1)
Forlag
- Springer-verlag New York Inc. (2)
- Springer (1)

Ryd alle

Der er 3 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Adapting Proofs-as-Programs
- Iman Poernomo
- E-bog, PDF
- Læs mere
- kr. 1.699,95
- kr. 1.639,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 1.699,95
- kr. 1.639,95
  med Shopping-fordele
- Adapting Proofs-as-Programs
- Iman Poernomo , John N. Crossley & Martin Wirsing
- Bog, paperback
- Læs mere
- kr. 1.109,95
- kr. 1.054,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 1.109,95
- kr. 1.054,95
  med Shopping-fordele
- Adapting Proofs-as-Programs
- Iman Poernomo , John N. Crossley & Martin Wirsing
- Bog, hardback
- Læs mere
- kr. 1.109,95
- kr. 1.054,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 1.109,95
- kr. 1.054,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: SAXO083