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

    Static Analysis

    7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

    AvJens Palsberg

    E-bok
    PDF, Engelska, 2004

    732 kr

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

    Produktinformation

    • Utgivningsdatum:2004-02-02
    • Språk:Engelska
    • Filformat:PDF
    • Kopieringsskydd:LCP
    • ISBN:9783540450993
    • 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

    Jens Palsberg, Holger Hermanns - Tools and Algorithms for the Construction and Analysis of Systems, E-bok

    Tools and Algorithms for the Construction and Analysis of Systems

    Jens Palsberg, Holger Hermanns

    E-bok
    2006

    732 kr

    Jens Palsberg - Semantics and Algebraic Specification, Häftad

    Semantics and Algebraic Specification

    Jens Palsberg

    Häftad, 2009

    560 kr

    Jens Palsberg, Rupak Majumdar, Klaus Havelund - Model Checking Software, E-bok

    Model Checking Software

    Jens Palsberg, Rupak Majumdar, Klaus Havelund

    E-bok
    2008

    732 kr

    Holger Hermanns, Jens Palsberg - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

    Tools and Algorithms for the Construction and Analysis of Systems

    Holger Hermanns, Jens Palsberg

    Häftad, 2006

    560 kr

    Rajkishore Barik, Rajiv Gupta, Jens Palsberg - Principles and Practices of Building Parallel Software, Häftad
    Del 14564

    Principles and Practices of Building Parallel Software

    Rajkishore Barik, Rajiv Gupta, Jens Palsberg

    Häftad, 2025

    1 113 kr

    Zhendong Su, Jens Palsberg - Static Analysis, E-bok

    Static Analysis

    Zhendong Su, Jens Palsberg

    E-bok
    2009

    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

    Jens Palsberg - Static Analysis, Häftad

    Static Analysis

    Jens Palsberg

    Häftad, 2000

    560 kr

    Jens Palsberg, Rajiv Gupta, Rajkishore Barik - Principles and Practices of Building Parallel Software, E-bok

    Principles and Practices of Building Parallel Software

    Jens Palsberg, Rajiv Gupta, Rajkishore Barik

    E-bok
    2025

    1 455 kr

    Jens Palsberg, Zhendong Su - Static Analysis, Häftad

    Static Analysis

    Jens Palsberg, Zhendong Su

    Häftad, 2009

    560 kr