Merkzettel Warenkorb
  • Produktbild: Fundamentals of Algebraic Specification 1
  • Produktbild: Fundamentals of Algebraic Specification 1
Band 6

Fundamentals of Algebraic Specification 1 Equations and Initial Semantics

Aus der Reihe Monographs in Theoretical Computer Science. An EATCS Series Band 6

97,99 €

inkl. MwSt, Versandkostenfrei

Lieferung nach Hause

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

23.11.2011

Verlag

Springer Berlin

Seitenzahl

321

Maße (L/B/H)

24,4/17/1,9 cm

Gewicht

588 g

Auflage

Softcover reprint of the original 1st ed. 1985

Sprache

Englisch

ISBN

978-3-642-69964-1

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

23.11.2011

Verlag

Springer Berlin

Seitenzahl

321

Maße (L/B/H)

24,4/17/1,9 cm

Gewicht

588 g

Auflage

Softcover reprint of the original 1st ed. 1985

Sprache

Englisch

ISBN

978-3-642-69964-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Weitere Bände von Monographs in Theoretical Computer Science. An EATCS Series

Weitere Bände von Monographs in Theoretical Computer Science. An EATCS Series

Unsere Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Unsere Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Fundamentals of Algebraic Specification 1
  • Produktbild: Fundamentals of Algebraic Specification 1
  • Historical Remarks.- The Chapters of this Volume.- Further Topics.- 1 Equational Specifications and Algebras.- Basic Examples.- Signatures, Terms, and Algebras.- Equational Specifications and Derivations.- Bibliographic Notes for Chapter 1.- 2 Specifications of Abstract Data Types.- Abstract Data Types.- Quotient Term Algebras.- Semantics and Correctness of Specifications.- Bibliographic Notes for Chapter 2.- 3 Initial Semantics of Specifications.- Facts about Homomorphisms.- Term Algebras, Initial and Free Algebras.- Congruences and Quotients.- Initial and Free SPEC-Algebras.- Bibliographic Notes for Chapter 3.- 4 Specifiability and Characterization of Equational Classes.- Equational Theory and Equational Classes.- Subalgebras.- Products.- Homomorphic Images.- Birkhoff-Characterizations of Equational Classes.- Bibliographic Notes for Chapter 4.- 5 Equational Calculus and Term Rewriting.- Formal Proofs by Equations.- Correctness and Completeness of the Equational Calculus.- Term Rewriting with Equations.- Equivalence of Proofs and Term Rewriting with Equations.- Bibliographic Notes for Chapter 5.- 6 Correctness and Extension of Specifications.- Initial Correctness of Specifications.- Correctness of Specifications with Hidden Functions.- Stepwise Specification by Extensions.- Correctness of Example Specifications.- Bibliographic Notes for Chapter 6.- 7 Parameterized Specifications and Functors.- Parameterized Specifications.- Categories and Functors.- Free Constructions and Free Functors.- Semantics and Correctness of Parameterized Specifications.- Bibliographic Notes for Chapter 7.- 8 Parameter Passing.- Specification Morphisms.- Standard Parameter Passing and Pushouts.- Amalgamation.- Persistency and Extension of Functors.- Correctness of Standard Parameter Passing.- Parameterized Parameter Passing.- Iterated Parameter Passing.- Bibliographic Notes for Chapter 8.- 9 Concepts of a Specification Language.- Basic Specifications.- Combination.- Renaming.- Actualization.- Modularization.- Syntax of the Specification Language ACT ONE.- 10 Semantics of the Specification Language ACT ONE.- First Level of Semantics.- Second Level of Semantics.- Semantical Properties and Context-Conditions.- Initial Algebra Semantics.- Bibliographic Notes for the Appendix.