• 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

Upp till 20% på populära nyheter →

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 @ 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

      Structure of Typed Programming Languages

      AvDavid A. Schmidt

      Häftad, Engelska, 1994

      Del i serien Foundations of Computing

      97 kr

      Tillfälligt slut

      Produktinformation

      • Utgivningsdatum:1994-03-01
      • Mått:175 x 226 x 23 mm
      • Vikt:680 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Foundations of Computing
      • Antal sidor:383
      • Förlag:MIT Press Ltd
      • ISBN:9780262691710

      Utforska kategorier

      • Matematikens grunder inom Naturvetenskap och teknik
      • Beräkning och matematisk analys inom Naturvetenskap och teknik
      • Programspråk inom Data och IT
      Hoppa över listan

      Mer från samma författare

      Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt - Mathematical Foundations of Programming Semantics, Häftad
      Del 442

      Mathematical Foundations of Programming Semantics

      Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt

      Häftad, 1990

      560 kr

      Radhia Cousot, David A. Schmidt - Static Analysis, Häftad

      Static Analysis

      Radhia Cousot, David A. Schmidt

      Häftad, 1996

      577 kr

      Hoppa över listan

      Mer från samma serie

      David Harel, Dexter Kozen, Jerzy Tiuryn - Dynamic Logic, Häftad

      Dynamic Logic

      David Harel, Dexter Kozen, Jerzy Tiuryn

      Häftad, 2000

      992 kr

      Benjamin C. Pierce - Basic Category Theory for Computer Scientists, Häftad

      Basic Category Theory for Computer Scientists

      Benjamin C. Pierce

      Häftad, 1991

      473 kr

      Glynn Winskel - Formal Semantics of Programming Languages, Häftad

      Formal Semantics of Programming Languages

      Glynn Winskel

      Häftad, 1993

      1 179 kr

      Neil Deaton Jones - Computability and Complexity, Inbunden

      Computability and Complexity

      Neil Deaton Jones

      Inbunden, 1997

      776 kr

      John C. Mitchell - Foundations for Programming Languages, Inbunden

      Foundations for Programming Languages

      John C. Mitchell

      Inbunden, 1996

      192 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Radhia Cousot, David A. Schmidt - Static Analysis, Häftad

      Static Analysis

      Radhia Cousot, David A. Schmidt

      Häftad, 1996

      577 kr

      Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt - Mathematical Foundations of Programming Semantics, Häftad
      Del 442

      Mathematical Foundations of Programming Semantics

      Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt

      Häftad, 1990

      560 kr

      Neil Deaton Jones - Computability and Complexity, Inbunden

      Computability and Complexity

      Neil Deaton Jones

      Inbunden, 1997

      776 kr

      John C. Mitchell - Foundations for Programming Languages, Inbunden

      Foundations for Programming Languages

      John C. Mitchell

      Inbunden, 1996

      192 kr

      David Harel, Dexter Kozen, Jerzy Tiuryn - Dynamic Logic, Häftad

      Dynamic Logic

      David Harel, Dexter Kozen, Jerzy Tiuryn

      Häftad, 2000

      992 kr

      Caroline Ringskog Ferrada-Noli - Sex in the City, Inbunden
      • -19%

      Sex in the City

      Caroline Ringskog Ferrada-Noli

      Inbunden, 2026

      209 kr259 kr

      Benjamin C. Pierce - Basic Category Theory for Computer Scientists, Häftad

      Basic Category Theory for Computer Scientists

      Benjamin C. Pierce

      Häftad, 1991

      473 kr

      Glynn Winskel - Formal Semantics of Programming Languages, Häftad

      Formal Semantics of Programming Languages

      Glynn Winskel

      Häftad, 1993

      1 179 kr

      Klara Peters Bastin - SIGNERAD - Om julens wälgång, Inbunden
      • Signerad!

      SIGNERAD - Om julens wälgång

      Klara Peters Bastin

      Inbunden, 2026

      249 kr

      Peter Englund - Om att misslyckas, Inbunden
      • -17%

      Om att misslyckas

      Peter Englund

      Inbunden, 2026

      4,0 utav 5 stjärnor. Totalt antal röster:(9)

      199 kr239 kr