• 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. Systemvetenskap och AI

      Model Checking

      AvEdmund M. Clarke Jr.,Orna Grumberg

      Inbunden, Engelska, 2018

      Del i serien Cyber Physical Systems Series

      726 kr

      Tillfälligt slut

      Produktinformation

      • Utgivningsdatum:2018-12-04
      • Mått:178 x 229 x 27 mm
      • Vikt:828 g
      • Format:Inbunden
      • Språk:Engelska
      • Serie:Cyber Physical Systems Series
      • Antal sidor:424
      • Upplaga:2
      • Förlag:MIT Press Ltd
      • ISBN:9780262038836

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Mer från samma författare

      Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem - Handbook of Model Checking, Övrigt

      Handbook of Model Checking

      Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem

      1 890 kr

      Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem - Handbook of Model Checking, Inbunden

      Handbook of Model Checking

      Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem

      Inbunden, 2018

      1 603 kr

      Edmund M. Clarke Jr., Robert P. Kurshan - Computer-Aided Verification, Häftad

      Computer-Aided Verification

      Edmund M. Clarke Jr., Robert P. Kurshan

      Häftad, 1991

      560 kr

      Edmund M. Clarke Jr., Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

      Logic for Programming, Artificial Intelligence, and Reasoning

      Edmund M. Clarke Jr., Andrei Voronkov

      Häftad, 2011

      577 kr

      Hoppa över listan

      Mer från samma serie

      Silvia Ferrari, Thomas A. Wettergren - Information-Driven Planning and Control, Inbunden

      Information-Driven Planning and Control

      Silvia Ferrari, Thomas A. Wettergren

      Inbunden, 2021

      672 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Helmut Veith, Doron Peled, Daniel Kroening, Orna Grumberg, Jr. Edmund M. Clarke - Model Checking, second edition, E-bok

      Model Checking, second edition

      Helmut Veith, Doron Peled, Daniel Kroening, Orna Grumberg, Jr. Edmund M. Clarke

      E-bok
      2018

      980 kr

      Orna Grumberg, Helmut Veith - 25 Years of Model Checking, Häftad

      25 Years of Model Checking

      Orna Grumberg, Helmut Veith

      Häftad, 2008

      406 kr

      Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem - Handbook of Model Checking, Inbunden

      Handbook of Model Checking

      Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem

      Inbunden, 2018

      1 603 kr

      Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem - Handbook of Model Checking, Övrigt

      Handbook of Model Checking

      Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem

      1 890 kr

      Helmut Veith, Orna Grumberg - 25 Years of Model Checking, E-bok

      25 Years of Model Checking

      Helmut Veith, Orna Grumberg

      E-bok
      2008

      493 kr

      Edmund M. Clarke Jr., Robert P. Kurshan - Computer-Aided Verification, Häftad

      Computer-Aided Verification

      Edmund M. Clarke Jr., Robert P. Kurshan

      Häftad, 1991

      560 kr

      Edmund M. Clarke Jr., Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

      Logic for Programming, Artificial Intelligence, and Reasoning

      Edmund M. Clarke Jr., Andrei Voronkov

      Häftad, 2011

      577 kr

      Doron Peled, Nicolas Halbwachs - Computer Aided Verification, E-bok

      Computer Aided Verification

      Doron Peled, Nicolas Halbwachs

      E-bok
      2003

      739 kr

      Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann - Partial Order Methods in Verification, Inbunden

      Partial Order Methods in Verification

      Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann

      Inbunden, 1997

      1 438 kr

      Cyrille Artho, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis, Häftad
      Del 9938

      Automated Technology for Verification and Analysis

      Cyrille Artho, Axel Legay, Doron Peled

      Häftad, 2016

      577 kr