• 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
  • Mat och dryck
  • Biografier
  • Ekonomi och Ledarskap
  • Medicin
  • Historia och arkeologi
  • Kultur
  • Naturvetenskap och teknik
  • Filosofi och religion
  • Pennor och tillbehör
  • Sport, fritid och hobby
  • Läromedel
  • Juridik
  • Tecknade serier
  • Spel och pussel
  • Språk och ordböcker
  • Kalender
  • Djur och Natur
  • Ande, kropp och själ
  • Hem och Trädgård
  • Anteckning
  • 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
  • Självhjälp och praktiska råd
  • Relationer
  • Föräldraböcker
  • Självförsörjning och grön livsstil
  • Prepping och överlevnadskunskap
  • Kokböcker
  • Kokböcker från kända kockar
  • Drycker
  • Tobak
  • Sanna berättelser
  • Biografier
  • Självbiografier och Memoarer
  • Tal
  • Företagsekonomi
  • Ledarskapsböcker
  • Nationalekonomi
  • Industrier och branscher
  • Karriärplanering
  • Privatekonomi
  • Andra medicinska specialiteter
  • Omvårdnad och medicinska stödfunktioner
  • Medicin: allmänt
  • Klinisk medicin och internmedicin
  • Medicin: icke kliniska discipliner
  • Alternativ medicin och terapier
  • Medicinska studiehandledningar och referensmaterial
  • Kirurgi
  • Veterinärmedicin
  • Historia
  • Arkeologi
  • Musikböcker
  • Konstböcker
  • Arkitektur
  • Designböcker
  • Fotoböcker
  • Scenkonst och film
  • Matematik och naturvetenskap
  • Geovetenskap
  • Teknik och industri
  • Religion och tro
  • Filosofi
  • Pennor
  • Penntillbehör
  • Hantverk och handarbete
  • Sportböcker
  • Humor och presentböcker
  • Hobby, spel och lekar
  • 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
  • Kalender och almanacka
  • Adventskalender
  • Djurböcker
  • Naturböcker
  • Ande, kropp och själ
  • Övernaturliga fenomen / det paranormala
  • Trädgårdsböcker
  • Hus och hem
  • Heminredning
  • Anteckningsböcker och block
  • Notisblock och flikar
  • Anteckning för barn
  • Gästböcker och adressböcker
  • 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. Systemvetenskap och AI

      Model Checking Software

      25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

      AvMaría del Mar Gallardo,Pedro Merino

      Häftad, Engelska, 2018

      Del 10869 i serien Lecture Notes in Computer Science

      579 kr

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

      Beskrivning

      This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 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:2018-06-17
      • Mått:155 x 235 x 22 mm
      • Vikt:546 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:347
      • Upplaga:18001
      • Förlag:Springer International Publishing AG
      • ISBN:9783319941103

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • 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.
      Hoppa över listan

      Du kanske också är intresserad av

      Pedro Merino, Maria del Mar Gallardo - Model Checking Software, E-bok

      Model Checking Software

      Pedro Merino, Maria del Mar Gallardo

      E-bok
      2018

      739 kr

      Pedro Merino - Chemical Synthesis of Nucleoside Analogues, Inbunden

      Chemical Synthesis of Nucleoside Analogues

      Pedro Merino

      Inbunden, 2013

      2 361 kr

      Pedro Merino - Chemical Synthesis of Nucleoside Analogues, E-bok

      Chemical Synthesis of Nucleoside Analogues

      Pedro Merino

      E-bok
      2013

      2 681 kr

      Pedro Merino - Chemical Biology of Neurodegeneration, E-bok

      Chemical Biology of Neurodegeneration

      Pedro Merino

      E-bok
      2019

      2 146 kr

      Pedro Merino, Stefan Leue - Formal Methods for Industrial Critical Systems, E-bok

      Formal Methods for Industrial Critical Systems

      Pedro Merino, Stefan Leue

      E-bok
      2008

      739 kr

      Pedro Merino - Chemical Biology of Neurodegeneration, Inbunden

      Chemical Biology of Neurodegeneration

      Pedro Merino

      Inbunden, 2019

      1 646 kr

      Pedro Merino - Chemical Synthesis of Nucleoside Analogues, E-bok

      Chemical Synthesis of Nucleoside Analogues

      Pedro Merino

      E-bok
      2013

      2 709 kr

      Pedro Merino - Chemical Biology of Neurodegeneration, E-bok

      Chemical Biology of Neurodegeneration

      Pedro Merino

      E-bok
      2019

      2 169 kr

      Stefan Leue, Pedro Merino - Formal Methods for Industrial Critical Systems, Häftad

      Formal Methods for Industrial Critical Systems

      Stefan Leue, Pedro Merino

      Häftad, 2008

      581 kr

      Mikael Yvesand - Ha en nice dag, Inbunden
      • -21%

      Ha en nice dag

      Mikael Yvesand

      Inbunden, 2026

      189 kr239 kr