Recent Trends in Algebraic Development Techniques
Editat de Maura Cerioli, Gianna Reggioen Limba Engleză Paperback – 23 ian 2002
Preț: 325.25 lei
Preț vechi: 406.56 lei
-20%
Puncte Express: 488
Carte tipărită la comandă
Livrare economică 05-19 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540431596
ISBN-10: 3540431594
Pagini: 360
Ilustrații: X, 348 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540431594
Pagini: 360
Ilustrații: X, 348 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
In Defence of Objective BayesianismJon Williamson-14%Preț: 683.52 lei794.78 lei -
Computing with Cells: Advances in Membrane ComputingPierluigi Frisco-36%Preț: 781.58 lei1223.36 lei -
Not Exactly: In Praise of VaguenessKees van Deemter-16%Preț: 123.57 lei147.89 lei -
Computability and RandomnessAndré Nies-22%Preț: 412.73 lei528.48 lei -
Notes on Set TheoryYiannis MoschovakisPreț: 472.08 lei -
-15%Preț: 570.70 lei671.41 lei -
Inductive LogicDov M. Gabbay-27%Preț: 1229.14 lei1674.52 lei -
Undecidable TheoriesAlfred TarskiPreț: 76.27 lei -
Multiple ForcingT. JechPreț: 322.88 lei -
Forcing with Random Variables and Proof ComplexityJan Krají¿ek-11%Preț: 415.81 lei467.20 lei -
Lectures in Logic and Set TheoryGeorge TourlakisPreț: 429.16 lei -
Lambda Calculus with TypesHenk Barendregt-11%Preț: 635.51 lei714.05 lei -
Introducing InfinityBrian CleggPreț: 63.51 lei -
Sets, Logic and CategoriesPeter J. CameronPreț: 272.04 lei -
Lattice Theory: Special Topics and ApplicationsGeorge Grätzer-15%Preț: 631.51 lei742.96 lei -
Duality Theories for Boolean Algebras with OperatorsSteven GivantPreț: 379.92 lei -
The Life and Work of Leon HenkinMaría ManzanoPreț: 383.55 lei -
-15%Preț: 689.64 lei811.34 lei
Public țintă
ResearchCuprins
Interactive Rule-Based Specification with an Application to Visual Language Definition.- Algebraic Abstractions.- Combining Logics: Parchments Revisited.- Canonical Institutions of Behaviour.- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.- On the Compatibility of Model and Model-Class Transformations.- Verifying a Simple Pipelined Microprocessor Using Maude.- Verifying Architectural Specifications.- Geometric Modelling with CASL.- A Compositional Approach to Connector Construction.- Institution Independent Static Analysis for Casl.- Tight and Loose Semantics for Transformation Systems.- Presentations for Abstract Context Institutions.- Programs, Proofs and Parametrized Specifications.- Towards Trustworthy Specification I: Consistency Checks.- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.