• 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

10% studentrabatt med kod TERM26

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 @ CookiesAnpassa 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
      3. Programvaruutveckling

      Computer Aided Verification

      13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

      AvAlain Finkel,Hubert Comon

      E-bok
      PDF, Engelska, 2003

      1 455 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-05-15
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540445852
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

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

      Du kanske också är intresserad av

      Gerard Berry, Hubert Comon, Alain Finkel - Computer Aided Verification, Häftad

      Computer Aided Verification

      Gerard Berry, Hubert Comon, Alain Finkel

      Häftad, 2001

      1 124 kr

      Alain Finkel, Matthias Jantzen - STACS 92, Häftad

      STACS 92

      Alain Finkel, Matthias Jantzen

      Häftad, 1992

      1 124 kr

      Hubert Comon - Rewriting Techniques and Applications, Häftad

      Rewriting Techniques and Applications

      Hubert Comon

      Häftad, 1997

      566 kr

      Patrice Enjalbert, Alain Finkel, Klaus W. Wagner - STACS 93, Häftad

      STACS 93

      Patrice Enjalbert, Alain Finkel, Klaus W. Wagner

      Häftad, 1993

      1 124 kr

      Gerard Berry, Stephen A. Edwards, Dumitru Potop-Butucaru - Compiling Esterel, E-bok

      Compiling Esterel

      Gerard Berry, Stephen A. Edwards, Dumitru Potop-Butucaru

      E-bok
      2007

      2 044 kr

      Igor Potapov, Jerome Leroux, Alain Finkel - Reachability Problems, E-bok

      Reachability Problems

      Igor Potapov, Jerome Leroux, Alain Finkel

      E-bok
      2012

      650 kr

      Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry - Compiling Esterel, Häftad

      Compiling Esterel

      Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry

      Häftad, 2010

      1 634 kr

      Hubert Comon, Claude Marche, Ralf Treinen - Constraints in Computational Logics: Theory and Applications, Häftad

      Constraints in Computational Logics: Theory and Applications

      Hubert Comon, Claude Marche, Ralf Treinen

      Häftad, 2001

      566 kr

      Ralf Treinen, Claude Marche, Hubert Comon - Constraints in Computational Logics: Theory and Applications, E-bok

      Constraints in Computational Logics: Theory and Applications

      Ralf Treinen, Claude Marche, Hubert Comon

      E-bok
      2003

      732 kr

      Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry - Compiling Esterel, Inbunden

      Compiling Esterel

      Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry

      Inbunden, 2007

      1 683 kr