• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

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

    Computer Aided Verification

    AvSerdar Tasiran,Isil Dillig

    Inbunden, Engelska, 2020

    882 kr

    Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

    Fler format och utgåvor

    Häftad

    821 kr

    Häftad

    881 kr

    Inbunden

    939 kr

    Produktinformation

    • Utgivningsdatum:2020-10-08
    • Mått:216 x 279 x 30 mm
    • Vikt:1 565 g
    • Format:Inbunden
    • Språk:Engelska
    • Antal sidor:558
    • Förlag:Saint Philip Street Press
    • ISBN:9781013271151

    Utforska kategorier

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

    Mer från samma författare

    Isil Dillig, Serdar Tasiran - Computer Aided Verification, Häftad
    Del 11561

    Computer Aided Verification

    Isil Dillig, Serdar Tasiran

    Häftad, 2019

    560 kr

    Isil Dillig, Serdar Tasiran - Computer Aided Verification, Häftad
    Del 11562

    Computer Aided Verification

    Isil Dillig, Serdar Tasiran

    Häftad, 2019

    560 kr

    Andrew Reynolds, Serdar Tasiran - Verified Software. Theories, Tools and Experiments, Häftad
    Del 14095

    Verified Software. Theories, Tools and Experiments

    Andrew Reynolds, Serdar Tasiran

    Häftad, 2024

    560 kr

    Serdar Tasiran, Andrew Reynolds - Verified Software. Theories, Tools and Experiments, E-bok

    Verified Software. Theories, Tools and Experiments

    Serdar Tasiran, Andrew Reynolds

    E-bok
    2024

    732 kr

    Oleg Sokolsky, Serdar Tasiran - Runtime Verification, Häftad

    Runtime Verification

    Oleg Sokolsky, Serdar Tasiran

    Häftad, 2007

    560 kr

    Serdar Tasiran, Oleg Sokolsky - Runtime Verification, E-bok

    Runtime Verification

    Serdar Tasiran, Oleg Sokolsky

    E-bok
    2007

    732 kr

    Shaz Qadeer, Serdar Tasiran - Runtime Verification, Häftad

    Runtime Verification

    Shaz Qadeer, Serdar Tasiran

    Häftad, 2013

    560 kr

    Serdar Tasiran, Shaz Qadeer - Runtime Verification, E-bok

    Runtime Verification

    Serdar Tasiran, Shaz Qadeer

    E-bok
    2013

    732 kr

    Hoppa över listan

    Du kanske också är intresserad av

    Serdar Tasiran, Isil Dillig - Computer Aided Verification, Inbunden

    Computer Aided Verification

    Serdar Tasiran, Isil Dillig

    Inbunden, 2020

    939 kr

    Serdar Tasiran, Isil Dillig - Computer Aided Verification, Häftad

    Computer Aided Verification

    Serdar Tasiran, Isil Dillig

    Häftad, 2020

    821 kr

    Serdar Tasiran, Isil Dillig - Computer Aided Verification, Häftad

    Computer Aided Verification

    Serdar Tasiran, Isil Dillig

    Häftad, 2020

    881 kr

    Isil Dillig, Serdar Tasiran - Computer Aided Verification, Häftad
    Del 11561

    Computer Aided Verification

    Isil Dillig, Serdar Tasiran

    Häftad, 2019

    560 kr

    Isil Dillig, Serdar Tasiran - Computer Aided Verification, Häftad
    Del 11562

    Computer Aided Verification

    Isil Dillig, Serdar Tasiran

    Häftad, 2019

    560 kr

    Jens Palsberg, Isil Dillig - Verification, Model Checking, and Abstract Interpretation, E-bok

    Verification, Model Checking, and Abstract Interpretation

    Jens Palsberg, Isil Dillig

    E-bok
    2018

    732 kr

    Shaz Qadeer, Serdar Tasiran - Runtime Verification, Häftad

    Runtime Verification

    Shaz Qadeer, Serdar Tasiran

    Häftad, 2013

    560 kr

    Serdar Tasiran, Oleg Sokolsky - Runtime Verification, E-bok

    Runtime Verification

    Serdar Tasiran, Oleg Sokolsky

    E-bok
    2007

    732 kr

    Isil Dillig, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation, Häftad
    Del 10747

    Verification, Model Checking, and Abstract Interpretation

    Isil Dillig, Jens Palsberg

    Häftad, 2018

    560 kr

    Serdar Tasiran, Andrew Reynolds - Verified Software. Theories, Tools and Experiments, E-bok

    Verified Software. Theories, Tools and Experiments

    Serdar Tasiran, Andrew Reynolds

    E-bok
    2024

    732 kr