• 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. Hårdvara

      Runtime Verification

      9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

      AvDoron A. Peled,Saddek Bensalem

      E-bok
      PDF, Engelska, 2009

      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:2009-09-29
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642046940
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Saddek Bensalem, Doron A. Peled - Runtime Verification, Häftad

      Runtime Verification

      Saddek Bensalem, Doron A. Peled

      Häftad, 2009

      574 kr

      Bruno Monsuez, Simon Bliudze, Saddek Bensalem, Mohamed Faouzi Atig - Verification and Evaluation of Computer and Communication Systems, E-bok

      Verification and Evaluation of Computer and Communication Systems

      Bruno Monsuez, Simon Bliudze, Saddek Bensalem, Mohamed Faouzi Atig

      E-bok
      2018

      739 kr

      Doron A. Peled - Software Reliability Methods, Inbunden

      Software Reliability Methods

      Doron A. Peled

      Inbunden, 2001

      574 kr

      Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez - Verification and Evaluation of Computer and Communication Systems, Häftad
      Del 11181

      Verification and Evaluation of Computer and Communication Systems

      Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez

      Häftad, 2018

      574 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

      Axel Legay, Saddek Bensalem - Runtime Verification, Häftad

      Runtime Verification

      Axel Legay, Saddek Bensalem

      Häftad, 2013

      574 kr

      Axel Legay, Yassine Lakhnech, Saddek Bensalem - From Programs to Systems - The Systems Perspective in Computing, E-bok

      From Programs to Systems - The Systems Perspective in Computing

      Axel Legay, Yassine Lakhnech, Saddek Bensalem

      E-bok
      2014

      657 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

      Saddek Bensalem, Yassine Lakhnech, Axel Legay - From Programs to Systems - The Systems Perspective in Computing, Häftad

      From Programs to Systems - The Systems Perspective in Computing

      Saddek Bensalem, Yassine Lakhnech, Axel Legay

      Häftad, 2014

      552 kr

      Saddek Bensalem, Axel Legay - Runtime Verification, E-bok

      Runtime Verification

      Saddek Bensalem, Axel Legay

      E-bok
      2013

      739 kr