最 低 价：￥339.00
| The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS including its subseries LNAI spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material published traditionally includes. —proceedings （published in time for the respective conference） —post-proceedings （consisting of thoroughly revised final full papers） —research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.） |
| Security and Protocols Combining Abstract Interpretation and Model Checking for Security Properties of Java Bytecode Analysing Proofs Methods for Bisimulation Based Information Flow Security A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines Sou8a Analyzing Cryptographic Protocols in a Reactive Framework Timed Systems and Games An Abstract Schema for Equivalence-Checking Games Synchronous Closing of Timed SDL Systems for Model Checking Automata-Theoretic Decision of Timed Games Static Analysis Compositional Termination Analysis of Symbolic Forward Analysis Combining Norms to Prove Termination Static Monotonicity Analysis for h-definable Functions over Lattices A Refinement of the Escape Property Optimizations Storage Size Reduction by In-place Mapping of Arrays Verifying BDD Algorithms through Monadic Interpretation Improving the Encoding of LTL Model Checking into SAT Types and Verification Automatic Verification of Probabilistic Free Choice An Experiment in Type Inference and Verification by Abstract Interpretation Weak Muller Acceptance Conditions for Tree Automata A Fully Abstract Model for Higher-Order Mobile Ambients Temporal Logics and Systems A Simulation Preorder for Abstraction of Reactive Systems Approximating ATL* in ATL Model Checking Modal Transition Systems Using Kripke Structures Parameterized Verification of a Cache Coherence Protocol Safety and Liveness Author Index |
内容加载中，请稍后...
商品评论（0条）