• 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

      9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

      AvLeonore D. Zuck,Doron A. Peled

      E-bok
      PDF, Engelska, 2008

      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:2008-02-29
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540781639
      • 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

      Francesco Logozzo, Doron A. Peled, Leonore D. Zuck - Verification, Model Checking, and Abstract Interpretation, Häftad

      Verification, Model Checking, and Abstract Interpretation

      Francesco Logozzo, Doron A. Peled, Leonore D. Zuck

      Häftad, 2008

      574 kr

      Francesco Logozzo, Manuel Fähndrich - Static Analysis, Häftad

      Static Analysis

      Francesco Logozzo, Manuel Fähndrich

      Häftad, 2013

      574 kr

      Manuel Fahndrich, Francesco Logozzo - Static Analysis, E-bok

      Static Analysis

      Manuel Fahndrich, Francesco Logozzo

      E-bok
      2013

      739 kr

      Moshe Y. Vardi, Doron A. Peled - Formal Techniques for Networked and Distributed Systems - FORTE 2002, E-bok

      Formal Techniques for Networked and Distributed Systems - FORTE 2002

      Moshe Y. Vardi, Doron A. Peled

      E-bok
      2003

      739 kr

      Doron A. Peled - Software Reliability Methods, Inbunden

      Software Reliability Methods

      Doron A. Peled

      Inbunden, 2001

      574 kr

      Michael Wooldridge, Doron A. Peled - Model Checking and Artificial Intelligence, E-bok

      Model Checking and Artificial Intelligence

      Michael Wooldridge, Doron A. Peled

      E-bok
      2009

      732 kr

      Yih-Kuen Tsay, Doron A. Peled - Automated Technology for Verification and Analysis, E-bok

      Automated Technology for Verification and Analysis

      Yih-Kuen Tsay, Doron A. Peled

      E-bok
      2005

      734 kr

      Doron A. Peled - Software Reliability Methods, Övrigt

      Software Reliability Methods

      Doron A. Peled

      672 kr

      Doron A. Peled, Michael Wooldridge - Model Checking and Artificial Intelligence, Häftad

      Model Checking and Artificial Intelligence

      Doron A. Peled, Michael Wooldridge

      Häftad, 2009

      574 kr

      Doron A. Peled - Software Reliability Methods, E-bok

      Software Reliability Methods

      Doron A. Peled

      E-bok
      2013

      732 kr