• 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

      Logic Based Program Synthesis and Transformation

      14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

      AvSandro Etalle

      E-bok
      PDF, Engelska, 2005

      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:2005-06-13
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540316831
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

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

      Du kanske också är intresserad av

      Sandro Etalle, Stephen Marsh - Trust Management, Häftad
      Del 238

      Trust Management

      Sandro Etalle, Stephen Marsh

      Häftad, 2010

      1 131 kr

      Sandro Etalle, Miroslav Truszczynski - Logic Programming, Häftad

      Logic Programming

      Sandro Etalle, Miroslav Truszczynski

      Häftad, 2006

      566 kr

      Sandro Etalle, Anupam Datta, Gilles Barthe - Formal Aspects of Security and Trust, E-bok

      Formal Aspects of Security and Trust

      Sandro Etalle, Anupam Datta, Gilles Barthe

      E-bok
      2012

      732 kr

      Miroslav Truszczynski, Sandro Etalle - Logic Programming, E-bok

      Logic Programming

      Miroslav Truszczynski, Sandro Etalle

      E-bok
      2006

      732 kr

      Pierpaolo Degano, Sandro Etalle, Joshua Guttman - Formal Aspects of Security and Trust, Häftad

      Formal Aspects of Security and Trust

      Pierpaolo Degano, Sandro Etalle, Joshua Guttman

      Häftad, 2011

      566 kr

      Stephen Marsh, Sandro Etalle - Trust Management, E-bok

      Trust Management

      Stephen Marsh, Sandro Etalle

      E-bok
      2007

      1 459 kr

      Sandro Etalle - Logic Based Program Synthesis and Transformation, Häftad

      Logic Based Program Synthesis and Transformation

      Sandro Etalle

      Häftad, 2005

      566 kr

      Joshua Guttman, Sandro Etalle, Pierpaolo Degano - Formal Aspects of Security and Trust, E-bok

      Formal Aspects of Security and Trust

      Joshua Guttman, Sandro Etalle, Pierpaolo Degano

      E-bok
      2011

      732 kr

      Sandro Etalle, Stephen Marsh - Trust Management, Inbunden

      Trust Management

      Sandro Etalle, Stephen Marsh

      Inbunden, 2007

      1 131 kr

      Gilles Barthe, Anupam Datta, Sandro Etalle - Formal Aspects of Security and Trust, Häftad

      Formal Aspects of Security and Trust

      Gilles Barthe, Anupam Datta, Sandro Etalle

      Häftad, 2012

      566 kr