• 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
  • Skönlitteratur
  • Deckare
  • Barn och ungdom
  • Samhälle och politik
  • Psykologi och pedagogik
  • Fantasy, SciFi och skräck
  • Hälsa och familj
  • Biografier
  • Ekonomi och Ledarskap
  • Mat och dryck
  • Kultur
  • Historia och arkeologi
  • Naturvetenskap och teknik
  • Medicin
  • Filosofi och religion
  • Pennor och tillbehör
  • Sport, fritid och hobby
  • Läromedel
  • Juridik
  • Tecknade serier
  • Spel och pussel
  • Språk och ordböcker
  • Djur och Natur
  • Ande, kropp och själ
  • Kalender
  • Anteckning
  • Hem och Trädgård
  • Reseguider
  • Data och IT
  • Kort, Kuvert och Brevpapper
  • Måla och pyssla
  • Kontorsmaterial
  • Lästillbehör
  • Romaner
  • Romance
  • Feelgood
  • Essäer
  • Noveller
  • Action och Äventyrsromaner
  • Komedi
  • Litteraturvetenskap
  • Poesi
  • Dramatik
  • Myter
  • Erotiska böcker
  • Antologier
  • Folksagor
  • Sagor
  • Polisromaner
  • Thriller
  • Deckare
  • Mysdeckare
  • Psykologisk spänning
  • Historiska deckare
  • Klassiska deckare
  • Barnböcker 3-6 år
  • Barnböcker 6-9 år
  • Barnböcker 9-12 år
  • Barnböcker 0-3 år
  • Faktaböcker
  • Kapitelböcker
  • Pysselböcker
  • Böcker 12-15 år
  • Lättlästa barnböcker
  • Ungdomsböcker
  • Böcker om känslor
  • Klassiska barnböcker
  • Populära teman
  • Kokböcker för barn
  • Presentböcker
  • Godnattsagor
  • Samhälle och kultur
  • Politik och statsskick
  • Social välfärd och brottslighet
  • Sociologi och antropologi
  • Reportage, journalistik och krönikor
  • Krig och försvar
  • Psykologi
  • Pedagogik
  • Fantasy
  • Science fiction
  • Skräck
  • Hälsa
  • Relationer
  • Självhjälp och praktiska råd
  • Föräldraböcker
  • Självförsörjning och grön livsstil
  • Prepping och överlevnadskunskap
  • Sanna berättelser
  • Biografier
  • Självbiografier och Memoarer
  • Tal
  • Företagsekonomi
  • Ledarskapsböcker
  • Nationalekonomi
  • Industrier och branscher
  • Karriärplanering
  • Privatekonomi
  • Kokböcker
  • Kokböcker från kända kockar
  • Drycker
  • Tobak
  • Musikböcker
  • Konstböcker
  • Arkitektur
  • Designböcker
  • Fotoböcker
  • Scenkonst och film
  • Historia
  • Arkeologi
  • Matematik och naturvetenskap
  • Geovetenskap
  • Teknik och industri
  • Andra medicinska specialiteter
  • Omvårdnad och medicinska stödfunktioner
  • Medicin: allmänt
  • Klinisk medicin och internmedicin
  • Medicin: icke kliniska discipliner
  • Medicinska studiehandledningar och referensmaterial
  • Kirurgi
  • Alternativ medicin och terapier
  • Veterinärmedicin
  • Religion och tro
  • Filosofi
  • Pennor
  • Penntillbehör
  • Hantverk och handarbete
  • Sportböcker
  • Hobby, spel och lekar
  • Humor och presentböcker
  • Fordonsböcker
  • Fest och bröllop
  • Fiske, jakt och skytte
  • Livsstil och stilguider
  • Antikviteter och samlarobjekt
  • Läromedel: matematik och naturvetenskap
  • Läromedel: språk
  • Läromedel: yrkesutbildning och övriga ämnen
  • Läromedel: samhälle och humaniora
  • Läromedel: estetiska ämnen
  • Läromedel: studiehandledningar och handböcker
  • Särskilda rättsområden
  • Rättsvetenskap
  • Lagtextsamlingar, lagböcker
  • Internationell rätt
  • Juridik: handböcker
  • Tecknade serier och romaner
  • Manga
  • Spel
  • Pussel
  • Leksaker
  • Språk: referensverk och allmänt
  • Språkundervisning och språkinlärning
  • Språkvetenskap och lingvistik
  • Djurböcker
  • Naturböcker
  • Ande, kropp och själ
  • Övernaturliga fenomen / det paranormala
  • Kalender och almanacka
  • Adventskalender
  • Anteckningsböcker och block
  • Notisblock och flikar
  • Anteckning för barn
  • Gästböcker och adressböcker
  • Trädgårdsböcker
  • Hus och hem
  • Heminredning
  • Reseböcker
  • Kartböcker
  • Parlörer
  • Systemvetenskap och AI
  • Programmeringsböcker
  • Informationsteknik: allmänt
  • Grafik och bildbehandling
  • Databaser
  • Digital livsstil och datorspel
  • Affärsapplikationer
  • Människa – datorinteraktion
  • IT-säkerhet
  • Operativsystem
  • Nätverk och kommunikation
  • It-certifieringar
  • Tillämpad datateknik
  • Hårdvara
  • Kort
  • Kuvert
  • Brevpapper
  • Etiketter
  • Placeringskort
  • Pyssel & DIY
  • Kreativitet
  • Måla och teckna
  • Fotoalbum och tillbehör
  • Skrivbordsförvaring
  • Skrivbordsprodukter
  • Arkivering och bokföring
  • Kopieringspapper
  • Bokmärken
  • Bokstöd och Book Nook
  • Läsglasögon
  • Läslampor

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

      14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

      AvDragan Bosnacki,Stefan Edelkamp

      Häftad, Engelska, 2007

      Del i serien Lecture Notes in Computer Science

      581 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

      Produktinformation

      • Utgivningsdatum:2007-06-21
      • Mått:155 x 235 x 17 mm
      • Vikt:458 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:285
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540733690

      Utforska kategorier

      • Programvaruutveckling inom Data och IT

      Innehållsförteckning

      • StackSnuffer: Curing Orion’s Unsoundness.- Tutorial: Parallel Model Checking.- Local Abstraction-Refinement for the mu-Calculus.- Minimal Counterexample Generation for SPIN.- Generating Counter-Examples Through Randomized Guided Search.- Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.- Some Solutions to the Ignoring Problem.- Cartesian Partial-Order Reduction.- On-the-Fly Dynamic Dead Variable Analysis.- SAT-Based Summarization for Boolean Programs.- LTL Satisfiability Checking.- An Embeddable Virtual Machine for State Space Generation.- Scalable Multi-core LTL Model-Checking.- A SystemC/TLM Semantics in Promela and Its Possible Applications.- Towards Model Checking Spatial Properties with SPIN.- Model Extraction for ARINC 653 Based Avionics Software.- BEEM: Benchmarks for Explicit Model Checkers.- C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.- ACSAR: Software Model Checking with Transfinite Refinement.- Instrumenting C Programs with Nested Word Monitors.
      Hoppa över listan

      Du kanske också är intresserad av

      Stefan Edelkamp, Dragan Bosnacki - Model Checking Software, E-bok

      Model Checking Software

      Stefan Edelkamp, Dragan Bosnacki

      E-bok
      2007

      734 kr

      Dragan Bosnacki, Stefan Leue - Model Checking Software, Häftad

      Model Checking Software

      Dragan Bosnacki, Stefan Leue

      Häftad, 2002

      581 kr

      Stefan Leue, Dragan Bosnacki - Model Checking Software, E-bok

      Model Checking Software

      Stefan Leue, Dragan Bosnacki

      E-bok
      2003

      734 kr

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

      Model Checking Software

      Anton Wijs, Dragan Bosnacki

      E-bok
      2016

      732 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

      581 kr

      Tristan Cazenave, Mark H.M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius - Computer Games, Häftad
      Del 705

      Computer Games

      Tristan Cazenave, Mark H.M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius

      Häftad, 2017

      581 kr

      Elmar Rueckert, Ralf Moller, Stefan Edelkamp - KI 2021: Advances in Artificial Intelligence, E-bok

      KI 2021: Advances in Artificial Intelligence

      Elmar Rueckert, Ralf Moller, Stefan Edelkamp

      E-bok
      2021

      997 kr

      Stefan Edelkamp, Ralf Möller, Elmar Rueckert - KI 2021: Advances in Artificial Intelligence, Häftad
      Del 12873

      KI 2021: Advances in Artificial Intelligence

      Stefan Edelkamp, Ralf Möller, Elmar Rueckert

      Häftad, 2021

      819 kr

      Stefan Edelkamp - Algorithmic Intelligence, E-bok

      Algorithmic Intelligence

      Stefan Edelkamp

      E-bok
      2023

      3 189 kr

      Julian Togelius, Michael Thielscher, Stephan Schiffel, Stefan Edelkamp, Mark H.M. Winands, Tristan Cazenave - Computer Games, E-bok

      Computer Games

      Julian Togelius, Michael Thielscher, Stephan Schiffel, Stefan Edelkamp, Mark H.M. Winands, Tristan Cazenave

      E-bok
      2017

      739 kr