• 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. Data och IT
      2. Hårdvara

      Verification, Model Checking, and Abstract Interpretation

      21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

      AvDamien Zufferey,Dirk Beyer

      E-bok
      Engelska, 2020

      1 138 kr

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

      Beskrivning

      This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. 
      The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. 

      Produktinformation

      • Utgivningsdatum:2020-01-14
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783030393229
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Databaser inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Dirk Beyer, Damien Zufferey - Verification, Model Checking, and Abstract Interpretation, Häftad
      Del 11990

      Verification, Model Checking, and Abstract Interpretation

      Dirk Beyer, Damien Zufferey

      Häftad, 2020

      901 kr

      Damien Zufferey, Majid Zamani - Numerical Software Verification, E-bok

      Numerical Software Verification

      Damien Zufferey, Majid Zamani

      E-bok
      2019

      732 kr

      Majid Zamani, Damien Zufferey - Numerical Software Verification, Häftad
      Del 11652

      Numerical Software Verification

      Majid Zamani, Damien Zufferey

      Häftad, 2019

      567 kr

      Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar - Markovian Demand Inventory Models, Häftad
      Del 108

      Markovian Demand Inventory Models

      Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar

      Häftad, 2012

      1 311 kr

      Dirk Beyer - Internatspädagogik, E-bok

      Internatspädagogik

      Dirk Beyer

      E-bok
      2026

      384 kr

      Dirk Beyer, Ana Cavalcanti - Fundamental Approaches to Software Engineering, Häftad
      Del 14573

      Fundamental Approaches to Software Engineering

      Dirk Beyer, Ana Cavalcanti

      Häftad, 2024

      455 kr

      Dirk Beyer - Digitale Transformation an Schulen gestalten, Häftad
      • Nyhet

      Digitale Transformation an Schulen gestalten

      Dirk Beyer

      Häftad, 2026

      361 kr

      Dirk Beyer - Teaching Compendium: Digital Tools and Literature, Häftad

      Teaching Compendium: Digital Tools and Literature

      Dirk Beyer

      Häftad, 2021

      369 kr

      Dirk Beyer - Voices of Africa - Nigeria, Häftad

      Voices of Africa - Nigeria

      Dirk Beyer

      Häftad, 2019

      144 kr

      Dirk Beyer - Internatspädagogik, E-bok

      Internatspädagogik

      Dirk Beyer

      E-bok
      2026

      384 kr