Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings: Lecture Notes in Computer Science, cartea 4905
Editat de Francesco Logozzo, Doron A. Peled, Leonore D. Zucken Limba Engleză Paperback – 26 feb 2008
Din seria Lecture Notes in Computer Science
- 20% Preț: 297.45 lei
- 20% Preț: 297.45 lei
- 20% Preț: 517.29 lei
- 5% Preț: 343.06 lei
- 20% Preț: 241.52 lei
- 20% Preț: 303.27 lei
- 20% Preț: 624.06 lei
- 20% Preț: 296.89 lei
- Preț: 346.79 lei
- Preț: 340.83 lei
- 20% Preț: 379.02 lei
- 20% Preț: 221.75 lei
- 20% Preț: 275.91 lei
- Preț: 262.38 lei
- 20% Preț: 298.57 lei
- 20% Preț: 266.97 lei
- 20% Preț: 360.10 lei
- 20% Preț: 310.09 lei
- 20% Preț: 284.43 lei
- 20% Preț: 308.00 lei
- 20% Preț: 202.42 lei
- 20% Preț: 283.35 lei
- 20% Preț: 315.25 lei
- 20% Preț: 572.84 lei
- 20% Preț: 475.27 lei
- 20% Preț: 291.91 lei
- 20% Preț: 289.52 lei
- 20% Preț: 290.45 lei
- 20% Preț: 698.69 lei
- 20% Preț: 347.90 lei
- 20% Preț: 413.13 lei
- 17% Preț: 338.16 lei
- 20% Preț: 771.51 lei
- 20% Preț: 447.62 lei
- 20% Preț: 298.57 lei
- 20% Preț: 287.43 lei
- 20% Preț: 414.27 lei
- 20% Preț: 413.75 lei
- 20% Preț: 639.35 lei
- 20% Preț: 267.73 lei
- 20% Preț: 322.75 lei
- 20% Preț: 297.58 lei
- 20% Preț: 367.40 lei
- 20% Preț: 607.93 lei
- 20% Preț: 297.58 lei
- 20% Preț: 377.31 lei
- 20% Preț: 289.95 lei
- 20% Preț: 418.32 lei
- 20% Preț: 345.69 lei
Preț: 301.78 lei
Preț vechi: 377.22 lei
-20%
Puncte Express: 453
Preț estimativ în valută:
57.82€ • 62.63$ • 49.58£
57.82€ • 62.63$ • 49.58£
Carte tipărită la comandă
Livrare economică 06-13 mai
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540781622
ISBN-10: 3540781625
Pagini: 342
Ilustrații: X, 325 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.52 kg
Ediția:2008
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: 3540781625
Pagini: 342
Ilustrații: X, 325 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.52 kg
Ediția:2008
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
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.- CTL as an Intermediate Language.- Multi-valued Logics, Automata, Simulations, and Games.- Verification of Register Allocators.- Program Analysis and Programming Languages for Security.- An Improved Tight Closure Algorithm for Integer Octagonal Constraints.- Handling Parameterized Systems with Non-atomic Global Conditions.- Abstract Interpretation of the Physical Inputs of Embedded Programs.- Diagnostic Information for Realizability.- Approximation Refinement for Interpolation-Based Model Checking.- Abstract Interpretation of Cellular Signalling Networks.- Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?.- Model Checking for Action Abstraction.- On Bridging Simulation and Formal Verification.- Extending Model Checking with Dynamic Analysis.- Deriving Bisimulations by Simplifying Partitions.- Precise Set Sharing Analysis for Java-Style Programs.- Sufficient Preconditions for Modular Assertion Checking.- Runtime Checking for Separation Logic.- Decision Procedures for Multisets with Cardinality Constraints.- All You Need Is Compassion.- A Forward-Backward Abstraction Refinement Algorithm.- Internal and External Logics of Abstract Interpretations.- From LTL to Symbolically Represented Deterministic Automata.- Monitoring Temporal Properties of Stochastic Systems.- A Hybrid Algorithm for LTL Games.