• 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. Informationsteknik: allmänt

      Numerical Software Verification

      12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

      AvDamien Zufferey,Majid Zamani

      E-bok
      Engelska, 2019

      732 kr

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

      Beskrivning

      This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.

      The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.

      The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

      Produktinformation

      • Utgivningsdatum:2019-08-02
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783030284237
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Informationsteknik: allmänt inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      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, 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, Dirk Beyer - Verification, Model Checking, and Abstract Interpretation, E-bok

      Verification, Model Checking, and Abstract Interpretation

      Damien Zufferey, Dirk Beyer

      E-bok
      2020

      1 138 kr

      Klara Peters Bastin - SIGNERAD - Om julens wälgång, Inbunden
      • Signerad!

      SIGNERAD - Om julens wälgång

      Klara Peters Bastin

      Inbunden, 2026

      249 kr

      Roland Paulsen - Avbegåvad : en essäberättelse om arv och miljö, Inbunden
      • -15%

      Avbegåvad : en essäberättelse om arv och miljö

      Roland Paulsen

      Inbunden, 2026

      225 kr265 kr

      Peter Englund - Om att misslyckas, Inbunden
      • -17%

      Om att misslyckas

      Peter Englund

      Inbunden, 2026

      4,0 utav 5 stjärnor. Totalt antal röster:(9)

      199 kr239 kr

      Åse Falkman Fredrikson, Anna Hallén - Kaos i klimakteriet : lösningar som fungerar, Inbunden
      • Hälsa

      Kaos i klimakteriet : lösningar som fungerar

      Åse Falkman Fredrikson, Anna Hallén

      Inbunden, 2026

      269 kr

      Vendela Blomström, Jeanna Wennerberg - Akademiskt läsande och skrivande, Häftad
      • -10% student

      Akademiskt läsande och skrivande

      Vendela Blomström, Jeanna Wennerberg

      Häftad, 2026

      421 kr

      Åsa Jonsson - Helt orimligt : en hemmasittares berättelse, Kartonnage
      • Nyhet

      Helt orimligt : en hemmasittares berättelse

      Åsa Jonsson

      Kartonnage, 2026

      249 kr

      Anna Meeuwisse, Hans Swärd, Sune Sunesson, Marcus Knutagård - Socialt arbete : en grundbok, Inbunden
      • -10% student

      Socialt arbete : en grundbok

      Anna Meeuwisse, Hans Swärd, Sune Sunesson, Marcus Knutagård

      Inbunden, 2024

      4,0 utav 5 stjärnor. Totalt antal röster:(1)

      581 kr