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

      Runtime Verification

      21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

      AvDana Fisman,Lu Feng

      E-bok
      Engelska, 2021

      1 056 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet

      Beskrivning

      This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.

      The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.

      The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

       

      Produktinformation

      • Utgivningsdatum:2021-10-05
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783030884949
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Carola Häggkvist, Desirée Stattin Drakenberg - Jag är Carola : Del 1. Frigörelsen, Inbunden
      • Nyhet

      Jag är Carola : Del 1. Frigörelsen

      Carola Häggkvist, Desirée Stattin Drakenberg

      Inbunden, 2026

      289 kr

      Lu Feng, Dana Fisman - Runtime Verification, Häftad
      Del 12974

      Runtime Verification

      Lu Feng, Dana Fisman

      Häftad, 2021

      858 kr

      Dana Fisman, Cindy Eisner - Practical Introduction to PSL, E-bok

      Practical Introduction to PSL

      Dana Fisman, Cindy Eisner

      E-bok
      2007

      2 097 kr

      Jorg P. Muller, Lu Feng, Sebastian Rodriguez - Engineering Multi-Agent Systems, E-bok

      Engineering Multi-Agent Systems

      Jorg P. Muller, Lu Feng, Sebastian Rodriguez

      E-bok
      2026

      821 kr

      Dana Fisman, Grigore Rosu - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
      Del 13244

      Tools and Algorithms for the Construction and Analysis of Systems

      Dana Fisman, Grigore Rosu

      Häftad, 2022

      461 kr

      Dana Fisman, Grigore Rosu - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
      Del 13243

      Tools and Algorithms for the Construction and Analysis of Systems

      Dana Fisman, Grigore Rosu

      Häftad, 2022

      461 kr

      Sebastian Rodriguez, Lu Feng, Jörg P. Müller - Engineering Multi-Agent Systems, Häftad

      Engineering Multi-Agent Systems

      Sebastian Rodriguez, Lu Feng, Jörg P. Müller

      Häftad, 2026

      653 kr

      Marcus Frank - Mackans kost : Middagar och matlådor, Inbunden
      • Vardagsmat

      Mackans kost : Middagar och matlådor

      Marcus Frank

      Inbunden, 2026

      269 kr

      Henrik Wahlström - SIGNERAD - Jag måste måla av mig, Inbunden
      • Signerad!

      SIGNERAD - Jag måste måla av mig

      Henrik Wahlström

      Inbunden, 2026

      329 kr

      Denise Rudberg - SIGNERAD - Tretton skäl att tiga still, Inbunden
      • Signerad!
      Del 13

      SIGNERAD - Tretton skäl att tiga still

      Denise Rudberg

      Inbunden, 2026

      259 kr