Algebraic Methodology and Software Technology
Editat de Armando M. Haebereren Limba Engleză Paperback – 15 dec 1998
Preț: 334.04 lei
Preț vechi: 417.55 lei
-20% Nou
Puncte Express: 501
Preț estimativ în valută:
59.11€ • 68.93$ • 51.90£
59.11€ • 68.93$ • 51.90£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540654629
ISBN-10: 3540654623
Pagini: 552
Ilustrații: XII, 540 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.83 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540654623
Pagini: 552
Ilustrații: XII, 540 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.83 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Talks (Extended Abstracts).- Duration Calculus, a Logical Approach to Real-Time Systems.- Abstract Algebraic Logic.- Systematising Reactive System Design.- Systematic Design of Call-Coverage Features.- Visual Abstractions for Temporal Verification.- A Linear Metalanguage for Concurrency.- Presentations.- Verification of Bounded Delay Asynchronous Circuits with Timed Traces.- Verification of Temporal Properties of Processes in a Setting with Data.- A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus.- Effective Recognizability and Model Checking of Reactive Fiffo Automata.- Combining Methods for the Livelock Analysis of a Fault-Tolerant System.- Presentations.- Separating Sets by Modal Formulas.- Interpolation in Modal Logic.- Building Models of Linear Logic.- Term Rewriting in a Logic of Special Relations.- Abstraction Barriers in Equational Proof.- Presentations.- A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes.- A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.- Consistency of Partial Process Specifications.- Observational Logic.- Scheduling Algebra.- Presentations.- Algebraic Semantics of Coordination or What Is in a Signature.- An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.- An Algebraic View of Program Composition.- Architectural Specifications in CASL.- Pi-Congruences as CCS Equivalences.- Presentations.- Algebraic Specifications, Higher-Order Types and Set-Theoretic Models.- Type Analysis for CHIP.- Categorical Programming with Abstract Data Types.- Condensing Lemmas for Pure Type Systems with Universes.- Improving Computations in a Typed Functional Logic Language.- Presentations.- Abstract Interpretation of Prolog Programs.- Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos.- A Single Perspective on Arrows between Institutions.- On Oracles for Interpreting Test Results against Algebraic Specifications.- Systems and Tool Demonstrations.- Recopla: An Extendible Graphic Meta-Editor.- The State of PEP.- The Abaco System — An Algebraic Based Action COmpiler.
Caracteristici
Includes supplementary material: sn.pub/extras