• 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

      19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

      AvDavid Schmidt,Antoine Mine

      E-bok
      PDF, Engelska, 2012

      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 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

      Produktinformation

      • Utgivningsdatum:2012-08-30
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642331251
      • Förlag:Springer Berlin Heidelberg

      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

      Antoine Mine, David Schmidt - Static Analysis, Häftad

      Static Analysis

      Antoine Mine, David Schmidt

      Häftad, 2012

      574 kr

      Kaweh Akbarian, Jens Marx, Marie Mönkemeyer, Jens-Olaf Müller, Katja Reinwald, Diana Rahfoth, Claas Rhodgeß, David Schmidt, Nina Wendelken, Anni Dürr, Tara Flink, Tina Hagner, Nora Hoppe, Matthias Kalupner, Lena Kalupner, Norman Kobel, David Lukaßen - DSA5 - Kompendium der Kirchen Alverans, Häftad

      DSA5 - Kompendium der Kirchen Alverans

      Kaweh Akbarian, Jens Marx, Marie Mönkemeyer, Jens-Olaf Müller, Katja Reinwald, Diana Rahfoth, Claas Rhodgeß, David Schmidt, Nina Wendelken, Anni Dürr, Tara Flink, Tina Hagner, Nora Hoppe, Matthias Kalupner, Lena Kalupner, Norman Kobel, David Lukaßen

      Häftad, 2026

      502 kr

      Zoe Adamietz, Thorsten Most, David Schmidt, Alex Spohr, Franz Janson, Kaweh Akbarian, Anni Dürr, Fred Ericson, David Frogier de Ponlevoy, Tina Hagner, René Kullick, David Lukaßen, Marie Mönkemeyer - DSA - Dossier der Erleuchteten, Häftad

      DSA - Dossier der Erleuchteten

      Zoe Adamietz, Thorsten Most, David Schmidt, Alex Spohr, Franz Janson, Kaweh Akbarian, Anni Dürr, Fred Ericson, David Frogier de Ponlevoy, Tina Hagner, René Kullick, David Lukaßen, Marie Mönkemeyer

      Häftad, 2024

      502 kr

      Zoe Adamietz, Mit Texten von Tobias Rafael Junge, Andreas Landkammer und Daniel Simon Richter, Niko Hoch, Johannes Kaub, Marie Mönkemeyer, Jasmin Neitzel, David Schmidt, Alex Spohr, Fabian Talkenberg, Jens Ullrich - DSA5 - Kodex der Helden (Nachdruck), Häftad

      DSA5 - Kodex der Helden (Nachdruck)

      Zoe Adamietz, Mit Texten von Tobias Rafael Junge, Andreas Landkammer und Daniel Simon Richter, Niko Hoch, Johannes Kaub, Marie Mönkemeyer, Jasmin Neitzel, David Schmidt, Alex Spohr, Fabian Talkenberg, Jens Ullrich

      Häftad, 2025

      663 kr

      Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt - Mathematical Foundations of Programming Semantics, Häftad

      Mathematical Foundations of Programming Semantics

      Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt

      Häftad, 1994

      1 142 kr

      Armin Abele, David Schmidt - Rabenkrieg 3 - Der Sturz des Adlers, Övrigt

      Rabenkrieg 3 - Der Sturz des Adlers

      Armin Abele, David Schmidt

      178 kr

      Jeanette Marsteller, Bernd Ochs, Daniel Simon Richter, David Schmidt, Alex Spohr, Nina Wendelken, mit Beiträgen von Zoe Adamietz, Nikolai Hoch, Johannes Kaub und Malte Schöpe - DSA - Die Flusslande - Regionalband, Häftad

      DSA - Die Flusslande - Regionalband

      Jeanette Marsteller, Bernd Ochs, Daniel Simon Richter, David Schmidt, Alex Spohr, Nina Wendelken, mit Beiträgen von Zoe Adamietz, Nikolai Hoch, Johannes Kaub und Malte Schöpe

      Häftad

      394 kr

      Armin Abele, David Schmidt - DSA5 - Rabenkrieg 1 - Die Zähne des Kaimans, Häftad

      DSA5 - Rabenkrieg 1 - Die Zähne des Kaimans

      Armin Abele, David Schmidt

      Häftad, 2022

      212 kr

      Michael Main, Austin Melton, Michael Mislove, David Schmidt - Mathematical Foundations of Programming Language Semantics, Häftad

      Mathematical Foundations of Programming Language Semantics

      Michael Main, Austin Melton, Michael Mislove, David Schmidt

      Häftad, 1988

      558 kr

      Thomas Craig, Marie Mönkemeyer, Daniel Simon Richter, David Schmidt, Alex Spohr, Ariane Willumeit - DSA5 - Archiv der Ausrüstung, Häftad

      DSA5 - Archiv der Ausrüstung

      Thomas Craig, Marie Mönkemeyer, Daniel Simon Richter, David Schmidt, Alex Spohr, Ariane Willumeit

      Häftad, 2024

      771 kr