• 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% rabatt på allt med kod NYSTART10 →

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
    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

    Verification, Model Checking, and Abstract Interpretation

    8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

    AvByron Cook,Andreas Podelski

    Häftad, Engelska, 2007

    Del i serien Lecture Notes in Computer Science

    562 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions.

    Produktinformation

    • Utgivningsdatum:2007-01-03
    • Mått:155 x 235 x 23 mm
    • Vikt:622 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:395
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540697350

    Utforska kategorier

    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • Invited Talk.- DIVINE: DIscovering Variables IN Executables.- Session 1.- Verifying Compensating Transactions.- Model Checking Nonblocking MPI Programs.- Model Checking Via ?CFA.- Using First-Order Theorem Provers in the Jahob Data Structure Verification System.- Invited Tutorial.- Interpolants and Symbolic Model Checking.- Session 2.- Shape Analysis of Single-Parent Heaps.- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.- On Flat Programs with Lists.- Invited Talk.- Automata-Theoretic Model Checking Revisited.- Session 3.- Language-Based Abstraction Refinement for Hybrid System Verification.- More Precise Partition Abstractions.- The Spotlight Principle.- Lattice Automata.- Invited Tutorial.- Learning Algorithms and Formal Verification (Invited Tutorial).- Session 4.- Constructing Specialized Shape Analyses for Uniform Change.- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.- Automated Verification of Shape and Size Properties Via Separation Logic.- Invited Talk.- Towards Shape Analysis for Device Drivers.- Session 5.- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.- Symmetry and Completeness in the Analysis of Parameterized Systems.- Better Under-Approximation of Programs by Hiding Variables.- Invited Tutorial.- The Constraint Database Approach to Software Verification.- Session 6.- Constraint Solving for Interpolation.- Assertion Checking Unified.- Invariant Synthesis for Combined Theories.