• 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. Data och IT
      2. Systemvetenskap och AI

      Dynamic Logic

      AvDavid Harel,Dexter Kozen

      Häftad, Engelska, 2000

      Del i serien Foundations of Computing

      992 kr

      Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.

      Produktinformation

      • Utgivningsdatum:2000-09-29
      • Mått:178 x 229 x 30 mm
      • Vikt:800 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Foundations of Computing
      • Antal sidor:476
      • Förlag:MIT Press Ltd
      • ISBN:9780262527668

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programmeringsböcker inom Data och IT
      Hoppa över listan

      Mer från samma författare

      David Harel, Yishai Feldman - Algorithmics, Häftad

      Algorithmics

      David Harel, Yishai Feldman

      Häftad, 2004

      1 123 kr

      Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare - Engineering Theories of Software Intensive Systems, Inbunden

      Engineering Theories of Software Intensive Systems

      Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

      Inbunden, 2005

      2 281 kr

      Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare - Engineering Theories of Software Intensive Systems, Häftad

      Engineering Theories of Software Intensive Systems

      Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

      Häftad, 2005

      2 281 kr

      Tony Hoare, David Harel, Johannes Gruenbauer, Manfred Broy - Engineering Theories of Software Intensive Systems, E-bok

      Engineering Theories of Software Intensive Systems

      Tony Hoare, David Harel, Johannes Gruenbauer, Manfred Broy

      E-bok
      2005

      2 917 kr

      David Harel, Rami Marelly - Come, Let’s Play, Inbunden

      Come, Let’s Play

      David Harel, Rami Marelly

      Inbunden, 2003

      574 kr

      David Harel, Yishai Feldman - Algorithmik, Inbunden

      Algorithmik

      David Harel, Yishai Feldman

      Inbunden, 2006

      537 kr

      Yishai Feldman, David Harel - Algorithmik, E-bok

      Algorithmik

      Yishai Feldman, David Harel

      E-bok
      2006

      298 kr

      David Harel - Das Affenpuzzle und weitere bad news aus der Computerwelt, Inbunden

      Das Affenpuzzle und weitere bad news aus der Computerwelt

      David Harel

      Inbunden, 2001

      311 kr

      Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio - Model Driven Engineering Languages and Systems, Häftad

      Model Driven Engineering Languages and Systems

      Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio

      Häftad, 2006

      1 142 kr

      Gianna Reggio, David Harel, Jon Whittle, Oscar Nierstrasz - Model Driven Engineering Languages and Systems, E-bok

      Model Driven Engineering Languages and Systems

      Gianna Reggio, David Harel, Jon Whittle, Oscar Nierstrasz

      E-bok
      2006

      1 470 kr

      Hoppa över listan

      Mer från samma serie

      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 167 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 A. Schmidt - Structure of Typed Programming Languages, Häftad

      Structure of Typed Programming Languages

      David A. Schmidt

      Häftad, 1994

      97 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Dexter Kozen, Ruy de Queiroz - Logic, Language, Information, and Computation, Häftad
      Del 15942

      Logic, Language, Information, and Computation

      Dexter Kozen, Ruy de Queiroz

      Häftad, 2025

      756 kr

      Leszek Pacholski, Jerzy Tiuryn - Computer Science Logic, Häftad

      Computer Science Logic

      Leszek Pacholski, Jerzy Tiuryn

      Häftad, 1995

      1 108 kr

      Dexter Kozen, Carron Shankland - Mathematics of Program Construction, Häftad

      Mathematics of Program Construction

      Dexter Kozen, Carron Shankland

      Häftad, 2004

      574 kr

      Dexter Kozen, Carron Shankland - Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, Övrigt

      Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

      Dexter Kozen, Carron Shankland

      672 kr

      Jerzy Tiuryn - Foundation of Software Science and Computation Structures, Häftad

      Foundation of Software Science and Computation Structures

      Jerzy Tiuryn

      Häftad, 2000

      574 kr

      Carron Shankland, Dexter Kozen - Mathematics of Program Construction, E-bok

      Mathematics of Program Construction

      Carron Shankland, Dexter Kozen

      E-bok
      2004

      732 kr

      Ruy de Queiroz, Dexter Kozen - Logic, Language, Information, and Computation, E-bok

      Logic, Language, Information, and Computation

      Ruy de Queiroz, Dexter Kozen

      E-bok
      2025

      978 kr

      Jerzy Tiuryn - Foundation of Software Science and Computation Structures, E-bok

      Foundation of Software Science and Computation Structures

      Jerzy Tiuryn

      E-bok
      2003

      739 kr

      David Harel, Rami Marelly - Come, Let’s Play, Häftad

      Come, Let’s Play

      David Harel, Rami Marelly

      Häftad, 2012

      574 kr

      Erik Winfree, Arto Salomaa, Joost N. Kok, David Harel, Anne Condon - Algorithmic Bioprocesses, E-bok

      Algorithmic Bioprocesses

      Erik Winfree, Arto Salomaa, Joost N. Kok, David Harel, Anne Condon

      E-bok
      2009

      2 862 kr