Recent Trends in Algebraic Development Techniques
Editat de Jose L. Fiadeiroen Limba Engleză Paperback – 28 iul 1999
Preț: 324.24 lei
Preț vechi: 405.31 lei
-20% Nou
Puncte Express: 486
Preț estimativ în valută:
57.38€ • 67.28$ • 50.39£
57.38€ • 67.28$ • 50.39£
Carte tipărită la comandă
Livrare economică 05-19 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540662464
ISBN-10: 3540662464
Pagini: 360
Ilustrații: X, 346 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540662464
Pagini: 360
Ilustrații: X, 346 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
An Algebraic Framework for Separate Type-Checking.- Moving Specification Structures Between Logical Systems.- Normal Forms for Partitions and Relations.- Parameterisation of Logics.- Semantic Constructions for Hidden Algebra.- Functorial Semantics for Multi-algebras.- An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories.- Hierarchical Heterogeneous Specifications.- Parallel Admissible Graph Rewriting.- Refinements and Modules for Typed Graph Transformation Systems.- Complete Strategies for Term Graph Narrowing.- Non-deterministic Computations in ELAN.- Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics.- Translating OBJ3 into CASL: The Institution Level.- Casl: A Guided Tour of Its Design.- Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets.- Using Reflection to Specify Transaction Sequences in Rewriting Logic.- Concurrency and Data Types: A Specification Method An Example with LOTOS.- The Situation and State Calculus versus Branching Temporal Logic.- Modular Specification of Concurrent Systems with Observational Logic.- Proof Normalization of Structured Algebraic Specifications Is Convergent.
Caracteristici
Includes supplementary material: sn.pub/extras