• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

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
    • 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

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

    AvFabio Somenzi,Warren A. Hunt, Jr.

    E-bok
    PDF, Engelska, 2011

    734 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:2011-05-02
    • Språk:Engelska
    • Filformat:PDF
    • Kopieringsskydd:LCP
    • ISBN:9783540450696
    • Förlag:Springer Berlin Heidelberg

    Utforska kategorier

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

    Du kanske också är intresserad av

    Warren A. Hunt, Jr., Fabio Somenzi - Computer Aided Verification, Häftad

    Computer Aided Verification

    Warren A. Hunt, Jr., Fabio Somenzi

    Häftad, 2003

    560 kr

    Fabio Somenzi, Gary D. Hachtel, Chao Wang - Abstraction Refinement for Large Scale Model Checking, E-bok

    Abstraction Refinement for Large Scale Model Checking

    Fabio Somenzi, Gary D. Hachtel, Chao Wang

    E-bok
    2006

    1 416 kr

    Chao Wang, Gary D. Hachtel, Fabio Somenzi - Abstraction Refinement for Large Scale Model Checking, Häftad

    Abstraction Refinement for Large Scale Model Checking

    Chao Wang, Gary D. Hachtel, Fabio Somenzi

    Häftad, 2014

    1 211 kr

    Chao Wang, Gary D. Hachtel, Fabio Somenzi - Abstraction Refinement for Large Scale Model Checking, Inbunden

    Abstraction Refinement for Large Scale Model Checking

    Chao Wang, Gary D. Hachtel, Fabio Somenzi

    Inbunden, 2006

    1 081 kr

    Fabio Somenzi, Gary D. Hachtel - Logic Synthesis and Verification Algorithms, E-bok

    Logic Synthesis and Verification Algorithms

    Fabio Somenzi, Gary D. Hachtel

    E-bok
    2005

    1 176 kr

    Gary D. Hachtel, Fabio Somenzi - Logic Synthesis and Verification Algorithms, Inbunden

    Logic Synthesis and Verification Algorithms

    Gary D. Hachtel, Fabio Somenzi

    Inbunden, 1996

    973 kr

    Gary D. Hachtel, Fabio Somenzi - Logic Synthesis and Verification Algorithms, Häftad

    Logic Synthesis and Verification Algorithms

    Gary D. Hachtel, Fabio Somenzi

    Häftad, 2013

    920 kr

    Carola Häggkvist - SIGNERAD - Jag är Carola, Inbunden
    • Signerad!

    SIGNERAD - Jag är Carola

    Carola Häggkvist

    Inbunden, 2026

    269 kr

    Jonas Gardell - Torka aldrig tårar utan handskar, Inbunden
    • Nyhet

    Torka aldrig tårar utan handskar

    Jonas Gardell

    Inbunden, 2026

    285 kr

    Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden
    • Signerad!

    SIGNERAD - Mackans kost : Middagar och matlådor

    Marcus Frank

    Inbunden, 2026

    269 kr