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

      Model Checking Software

      28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

      AvGrigore Rosu,Owolabi Legunsen

      E-bok
      Engelska, 2022

      1 455 kr

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

      Beskrivning

      This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.

      The 8 full papers were carefully reviewed and selected from 11 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:2022-08-22
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783031150777
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Artificiell intelligens inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Owolabi Legunsen, Grigore Rosu - Model Checking Software, Häftad
      Del 13255

      Model Checking Software

      Owolabi Legunsen, Grigore Rosu

      Häftad, 2022

      1 124 kr

      Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer - Runtime Verification, E-bok

      Runtime Verification

      Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer

      E-bok
      2010

      732 kr

      Grigore Rosu, Jose Meseguer - Algebraic Methodology and Software Technology, E-bok

      Algebraic Methodology and Software Technology

      Grigore Rosu, Jose Meseguer

      E-bok
      2008

      732 kr

      Burkhart Wolff, Grigore Rosu, Manuel Nunez, Klaus Havelund - Formal Approaches to Software Testing and Runtime Verification, E-bok

      Formal Approaches to Software Testing and Runtime Verification

      Burkhart Wolff, Grigore Rosu, Manuel Nunez, Klaus Havelund

      E-bok
      2006

      732 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

      455 kr

      Grigore Rosu, Holger Giese - Formal Techniques for Distributed Systems, E-bok

      Formal Techniques for Distributed Systems

      Grigore Rosu, Holger Giese

      E-bok
      2012

      732 kr

      Holger Giese, Grigore Rosu - Formal Techniques for Distributed Systems, Häftad

      Formal Techniques for Distributed Systems

      Holger Giese, Grigore Rosu

      Häftad, 2012

      566 kr

      Joseph Goguen, Grigore Rosu - Institution Morphisms, Häftad

      Institution Morphisms

      Joseph Goguen, Grigore Rosu

      Häftad, 2013

      266 kr

      José Meseguer, Grigore Rosu - Algebraic Methodology and Software Technology, Häftad

      Algebraic Methodology and Software Technology

      José Meseguer, Grigore Rosu

      Häftad, 2008

      566 kr

      Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad

      Runtime Verification

      Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

      Häftad, 2010

      566 kr