• 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

      Verification, Model Checking, and Abstract Interpretation

      5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

      AvGiorgio Levi,Bernhard Steffen

      E-bok
      PDF, Engelska, 2003

      739 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-12-19
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540246220
      • 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

      Bernhard Steffen, Giorgio Levi - Verification, Model Checking, and Abstract Interpretation, Häftad

      Verification, Model Checking, and Abstract Interpretation

      Bernhard Steffen, Giorgio Levi

      Häftad, 2004

      574 kr

      Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari - TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987, Häftad

      TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

      Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

      Häftad, 1987

      404 kr

      Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi - Foundations of Logic and Functional Programming, Häftad

      Foundations of Logic and Functional Programming

      Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi

      Häftad, 1988

      574 kr

      Helene Kirchner, Giorgio Levi - Algebraic and Logic Programming, Häftad

      Algebraic and Logic Programming

      Helene Kirchner, Giorgio Levi

      Häftad, 1992

      574 kr

      Giorgio Levi - Advances in Logic Programming Theory, Inbunden

      Advances in Logic Programming Theory

      Giorgio Levi

      Inbunden, 1994

      2 000 kr

      Giorgio Levi - Static Analysis, E-bok

      Static Analysis

      Giorgio Levi

      E-bok
      2003

      739 kr

      Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari - TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987, Häftad

      TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

      Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari

      Häftad, 1987

      404 kr

      Giorgio Levi - Static Analysis, Häftad

      Static Analysis

      Giorgio Levi

      Häftad, 1998

      574 kr

      Giorgio Levi, Mario Rodriguez-Artalejo - Algebraic and Logic Programming, Häftad

      Algebraic and Logic Programming

      Giorgio Levi, Mario Rodriguez-Artalejo

      Häftad, 1994

      574 kr

      Marcus Frank - Mackans kost : Middagar och matlådor, Inbunden
      • Vardagsmat

      Mackans kost : Middagar och matlådor

      Marcus Frank

      Inbunden, 2026

      269 kr