Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings: Lecture Notes in Computer Science, cartea 4349
Editat de Byron Cook, Andreas Podelskien Limba Engleză Paperback – 3 ian 2007
Din seria Lecture Notes in Computer Science
- 15% Preț: 551.42 lei
- 20% Preț: 323.34 lei
- 20% Preț: 324.90 lei
- 20% Preț: 315.78 lei
- 20% Preț: 238.01 lei
- 20% Preț: 1021.21 lei
- 20% Preț: 323.34 lei
- 20% Preț: 438.69 lei
- 20% Preț: 315.19 lei
- 20% Preț: 326.49 lei
- 20% Preț: 148.66 lei
- 20% Preț: 310.26 lei
- 20% Preț: 612.93 lei
- 20% Preț: 1008.19 lei
- 20% Preț: 556.53 lei
- 17% Preț: 360.19 lei
- 20% Preț: 622.19 lei
- 20% Preț: 307.71 lei
- 20% Preț: 1123.66 lei
- 20% Preț: 561.88 lei
- 20% Preț: 972.97 lei
- 20% Preț: 320.21 lei
- 20% Preț: 256.27 lei
- 20% Preț: 607.39 lei
- 20% Preț: 538.29 lei
- Preț: 362.24 lei
- 20% Preț: 172.69 lei
- 20% Preț: 315.78 lei
- 20% Preț: 1343.61 lei
- 20% Preț: 554.18 lei
- 20% Preț: 724.94 lei
- 20% Preț: 784.47 lei
- 20% Preț: 301.95 lei
- 20% Preț: 504.57 lei
- 20% Preț: 724.94 lei
- 20% Preț: 369.12 lei
- 20% Preț: 335.88 lei
- 20% Preț: 551.84 lei
- Preț: 390.40 lei
- 20% Preț: 566.56 lei
- 20% Preț: 554.18 lei
- 20% Preț: 554.18 lei
- 20% Preț: 550.28 lei
- 20% Preț: 332.75 lei
- 20% Preț: 309.90 lei
- 20% Preț: 122.89 lei
Preț: 322.55 lei
Preț vechi: 403.19 lei
-20% Nou
Puncte Express: 484
Preț estimativ în valută:
61.74€ • 66.39$ • 51.46£
61.74€ • 66.39$ • 51.46£
Carte tipărită la comandă
Livrare economică 20 decembrie 24 - 03 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540697350
ISBN-10: 3540697357
Pagini: 412
Ilustrații: XI, 395 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.61 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540697357
Pagini: 412
Ilustrații: XI, 395 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.61 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.