• 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. Programmeringsböcker

      Static Analysis

      21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

      AvHelmut Seidl,Markus Muller-Olm

      E-bok
      PDF, Engelska, 2014

      739 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Beskrivning

      This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

      Produktinformation

      • Utgivningsdatum:2014-09-06
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783319109367
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Programmeringsböcker 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

      Markus Müller-Olm, Helmut Seidl - Static Analysis, Häftad
      Del 8723

      Static Analysis

      Markus Müller-Olm, Helmut Seidl

      Häftad, 2014

      569 kr

      Markus Muller-Olm, Neil Jones - Verification, Model Checking, and Abstract Interpretation, E-bok

      Verification, Model Checking, and Abstract Interpretation

      Markus Muller-Olm, Neil Jones

      E-bok
      2008

      739 kr

      Zijiang Yang, Markus Muller-Olm, Xinyu Feng - Dependable Software Engineering. Theories, Tools, and Applications, E-bok

      Dependable Software Engineering. Theories, Tools, and Applications

      Zijiang Yang, Markus Muller-Olm, Xinyu Feng

      E-bok
      2018

      732 kr

      Markus Muller-Olm - Variations on Constants, E-bok

      Variations on Constants

      Markus Muller-Olm

      E-bok
      2006

      732 kr

      Helmut Seidl, Reinhard Wilhelm, Sebastian Hack - Übersetzerbau, Häftad

      Übersetzerbau

      Helmut Seidl, Reinhard Wilhelm, Sebastian Hack

      Häftad, 2010

      260 kr

      Helmut Seidl - Foundations of Software Science and Computational Structures, Häftad

      Foundations of Software Science and Computational Structures

      Helmut Seidl

      Häftad, 2007

      566 kr

      Neil Jones, Markus Müller-Olm - Verification, Model Checking, and Abstract Interpretation, Häftad

      Verification, Model Checking, and Abstract Interpretation

      Neil Jones, Markus Müller-Olm

      Häftad, 2008

      566 kr

      Reinhard Wilhelm, Helmut Seidl - Übersetzerbau, Häftad

      Übersetzerbau

      Reinhard Wilhelm, Helmut Seidl

      Häftad, 2007

      352 kr

      Xinyu Feng, Markus Müller-Olm, Zijiang Yang - Dependable Software Engineering. Theories, Tools, and Applications, Häftad
      Del 10998

      Dependable Software Engineering. Theories, Tools, and Applications

      Xinyu Feng, Markus Müller-Olm, Zijiang Yang

      Häftad, 2018

      566 kr

      Markus Müller-Olm - Variations on Constants, Häftad

      Variations on Constants

      Markus Müller-Olm

      Häftad, 2006

      566 kr