• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik
      4. Matematikens grunder

      Types for Proofs and Programs

      International Workshop, TYPES''99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

      AvJan Smith,Bengt Nordstrom

      E-bok
      PDF, Engelska, 2003

      710 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Produktinformation

      • Utgivningsdatum:2003-07-31
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540445579
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Matematikens grunder inom Naturvetenskap och teknik
      • Programmeringsböcker inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad

      Types for Proofs and Programs

      Peter Dybjer, Bengt Nordström, Jan Smith

      Häftad, 1995

      566 kr

      Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad

      Types for Proofs and Programs

      Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

      Häftad, 2000

      566 kr

      Bengt Nordstrom, Aarne Ranta - Advances in Natural Language Processing, E-bok

      Advances in Natural Language Processing

      Bengt Nordstrom, Aarne Ranta

      E-bok
      2008

      732 kr

      Joao Saraiva, Luis Pinto, Peter Dybjer, Gilles Barthe - Applied Semantics, E-bok

      Applied Semantics

      Joao Saraiva, Luis Pinto, Peter Dybjer, Gilles Barthe

      E-bok
      2003

      732 kr

      David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne - Category Theory and Computer Science, Häftad

      Category Theory and Computer Science

      David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne

      Häftad, 1989

      532 kr

      Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva - Applied Semantics, Häftad

      Applied Semantics

      Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva

      Häftad, 2002

      566 kr

      Jan Smith - Narakan Rifles, about Face!, E-bok

      Narakan Rifles, about Face!

      Jan Smith

      E-bok
      2016

      13 kr

      Jan Smith - To Take A Queen, E-bok

      To Take A Queen

      Jan Smith

      E-bok
      2012

      55 kr

      Jan Smith - Confessions of a Homegrown Alien, Häftad

      Confessions of a Homegrown Alien

      Jan Smith

      Häftad, 2016

      250 kr

      Jan Smith - Narakan Rifles, about Face!, E-bok

      Narakan Rifles, about Face!

      Jan Smith

      E-bok
      2016

      13 kr