• 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. Naturvetenskap och teknik
      2. Teknik och industri
      3. Elektronik och kommunikationer

      Model Checking Software

      30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

      AvAnton Wijs,Thomas Neele

      E-bok
      Engelska, 2024

      710 kr

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

      Beskrivning

      This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.

      The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

      Produktinformation

      • Utgivningsdatum:2024-10-12
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783031661495
      • Förlag:Springer Nature Switzerland

      Utforska kategorier

      • Elektronik och kommunikationer inom Naturvetenskap och teknik
      • Hårdvara inom Data och IT
      • Programvaruutveckling inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Thomas Neele, Anton Wijs - Model Checking Software, Häftad
      Del 14624

      Model Checking Software

      Thomas Neele, Anton Wijs

      Häftad, 2024

      567 kr

      Paula Herber, Anton Wijs - Integrated Formal Methods, Häftad
      Del 14300

      Integrated Formal Methods

      Paula Herber, Anton Wijs

      Häftad, 2023

      1 350 kr

      Anton Wijs, Marieke Huisman - Concise Guide to Software Verification, E-bok

      Concise Guide to Software Verification

      Anton Wijs, Marieke Huisman

      E-bok
      2023

      868 kr

      Marieke Huisman, Anton Wijs - Concise Guide to Software Verification, Häftad

      Concise Guide to Software Verification

      Marieke Huisman, Anton Wijs

      Häftad, 2024

      659 kr

      Marieke Huisman, Anton Wijs - Concise Guide to Software Verification : From Model Checking to Annotation Checking, Övrigt

      Concise Guide to Software Verification : From Model Checking to Annotation Checking

      Marieke Huisman, Anton Wijs

      648 kr

      Anton Wijs, Dragan Bosnacki - Model Checking Software, E-bok

      Model Checking Software

      Anton Wijs, Dragan Bosnacki

      E-bok
      2016

      732 kr

      Anton Wijs, Gwen Salaun - Formal Aspects of Component Software, E-bok

      Formal Aspects of Component Software

      Anton Wijs, Gwen Salaun

      E-bok
      2021

      650 kr

      Gwen Salaün, Anton Wijs - Formal Aspects of Component Software, Häftad
      Del 13077

      Formal Aspects of Component Software

      Gwen Salaün, Anton Wijs

      Häftad, 2021

      511 kr

      Dragan Bošnački, Anton Wijs - Model Checking Software, Häftad
      Del 9641

      Model Checking Software

      Dragan Bošnački, Anton Wijs

      Häftad, 2016

      566 kr

      Marieke Huisman, Anton Wijs - Concise Guide to Software Verification, Inbunden

      Concise Guide to Software Verification

      Marieke Huisman, Anton Wijs

      Inbunden, 2023

      931 kr