• 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. Programmeringsböcker

      Computer Science Logic

      24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

      AvHelmut Veith,Anuj Dawar

      E-bok
      PDF, Engelska, 2010

      732 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:2010-08-14
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642152054
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

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

      Du kanske också är intresserad av

      Anuj Dawar, Helmut Veith - Computer Science Logic, Häftad

      Computer Science Logic

      Anuj Dawar, Helmut Veith

      Häftad, 2010

      574 kr

      Benedikt Lowe, Anuj Dawar, Barry S. Cooper - How the World Computes, E-bok

      How the World Computes

      Benedikt Lowe, Anuj Dawar, Barry S. Cooper

      E-bok
      2012

      710 kr

      Ruy de Queiroz, Anuj Dawar - Logic, Language, Information and Computation, E-bok

      Logic, Language, Information and Computation

      Ruy de Queiroz, Anuj Dawar

      E-bok
      2010

      739 kr

      Anuj Dawar, Ruy de Queiroz - Logic, Language, Information and Computation, Häftad

      Logic, Language, Information and Computation

      Anuj Dawar, Ruy de Queiroz

      Häftad, 2010

      574 kr

      Barry S. Cooper, Anuj Dawar, Benedikt Löwe - How the World Computes, Häftad

      How the World Computes

      Barry S. Cooper, Anuj Dawar, Benedikt Löwe

      Häftad, 2012

      558 kr

      Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith - Model Checking, Inbunden

      Model Checking

      Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

      Inbunden, 2018

      726 kr

      Iliano Cervesato, Helmut Veith, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

      Logic for Programming, Artificial Intelligence, and Reasoning

      Iliano Cervesato, Helmut Veith, Andrei Voronkov

      Häftad, 2008

      1 142 kr

      Natasha Sharygina, Helmut Veith - Computer Aided Verification, Häftad

      Computer Aided Verification

      Natasha Sharygina, Helmut Veith

      Häftad, 2013

      1 124 kr

      Andrei Voronkov, Helmut Veith, Iliano Cervesato - Logic for Programming, Artificial Intelligence, and Reasoning, E-bok

      Logic for Programming, Artificial Intelligence, and Reasoning

      Andrei Voronkov, Helmut Veith, Iliano Cervesato

      E-bok
      2008

      1 470 kr

      Helmut Veith, Orna Grumberg - 25 Years of Model Checking, E-bok

      25 Years of Model Checking

      Helmut Veith, Orna Grumberg

      E-bok
      2008

      493 kr