• 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

      18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

      AvRobert B. Jones,Thomas Ball

      E-bok
      PDF, Engelska, 2006

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

      Utforska kategorier

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

      Mark Atteberry - Caleb Quest, E-bok

      Caleb Quest

      Mark Atteberry

      E-bok
      2006

      88 kr

      Joe Gallagher - 101 Angriffsideen Im Schach, Häftad

      101 Angriffsideen Im Schach

      Joe Gallagher

      Häftad, 2006

      149 kr

      Thomas Ball, Robert B. Jones - Computer Aided Verification, Häftad

      Computer Aided Verification

      Thomas Ball, Robert B. Jones

      Häftad, 2006

      1 124 kr

      Klaus Peter Jochum - Reception of W. B. Yeats in Europe, E-bok

      Reception of W. B. Yeats in Europe

      Klaus Peter Jochum

      E-bok
      2006

      677 kr

      John Hill - Cinema and Northern Ireland, Häftad

      Cinema and Northern Ireland

      John Hill

      Häftad, 2006

      494 kr

      Gerald M. Korenowski, Heinrich Huhnerfuss, Martin Gade - Marine Surface Films, E-bok

      Marine Surface Films

      Gerald M. Korenowski, Heinrich Huhnerfuss, Martin Gade

      E-bok
      2006

      2 044 kr

      Albert Einstein, Diana Kormos Buchwald, Tilman Sauer, Ze’ev Rosenkranz, József Illy, Virginia Iris Holmes - Collected Papers of Albert Einstein, Volume 10 (English), Häftad

      Collected Papers of Albert Einstein, Volume 10 (English)

      Albert Einstein, Diana Kormos Buchwald, Tilman Sauer, Ze’ev Rosenkranz, József Illy, Virginia Iris Holmes

      Häftad, 2006

      706 kr

      Naiying Yuan, Hai-tao Tang, James Geiss - Classical Chinese (Supplement 4), Häftad

      Classical Chinese (Supplement 4)

      Naiying Yuan, Hai-tao Tang, James Geiss

      Häftad, 2006

      558 kr

      Thomas Pfleger, Oliver Montenbruck - Astronomie mit dem Personal Computer, E-bok

      Astronomie mit dem Personal Computer

      Thomas Pfleger, Oliver Montenbruck

      E-bok
      2006

      505 kr

      Rainer Souren, Heinz Ahn, Harald Dyckhoff - Übungsbuch Produktionswirtschaft, E-bok

      Übungsbuch Produktionswirtschaft

      Rainer Souren, Heinz Ahn, Harald Dyckhoff

      E-bok
      2006

      176 kr