• 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

      Model Checking Software

      27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

      AvAna Sokolova,Alfons Laarman

      E-bok
      Engelska, 2021

      732 kr

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

      Beskrivning

      This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.

      The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

      Produktinformation

      • Utgivningsdatum:2021-08-02
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783030846299
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI 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

      Alfons Laarman, Ana Sokolova - Model Checking Software, Häftad
      Del 12864

      Model Checking Software

      Alfons Laarman, Ana Sokolova

      Häftad, 2021

      574 kr

      Ana Sokolova, Alexey Gotsman - Formal Techniques for Distributed Objects, Components, and Systems, E-bok

      Formal Techniques for Distributed Objects, Components, and Systems

      Ana Sokolova, Alexey Gotsman

      E-bok
      2020

      903 kr

      Ana Sokolova, Laura Kovacs - Reachability Problems, E-bok

      Reachability Problems

      Ana Sokolova, Laura Kovacs

      E-bok
      2024

      903 kr

      Laura Kovács, Ana Sokolova - Reachability Problems, Häftad
      Del 15050

      Reachability Problems

      Laura Kovács, Ana Sokolova

      Häftad, 2024

      744 kr

      Alexey Gotsman, Ana Sokolova - Formal Techniques for Distributed Objects, Components, and Systems, Häftad
      Del 12136

      Formal Techniques for Distributed Objects, Components, and Systems

      Alexey Gotsman, Ana Sokolova

      Häftad, 2020

      744 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

      Måns Petter Zelmerlöw - När allt faller, Inbunden
      • -12%

      När allt faller

      Måns Petter Zelmerlöw

      Inbunden, 2026

      229 kr259 kr