KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Recent Trends in Data Type Specification
  • Produktbild: Recent Trends in Data Type Specification
Band 785

Recent Trends in Data Type Specification 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.04.1994

Abbildungen

VIII, 356 p.

Herausgeber

Hartmut Ehrig + weitere

Verlag

Springer Berlin

Seitenzahl

356

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

552 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57867-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.04.1994

Abbildungen

VIII, 356 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

356

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

552 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57867-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Recent Trends in Data Type Specification
  • Produktbild: Recent Trends in Data Type Specification
  • Towards an algebraic semantics for the object paradigm.- Rewriting techniques for software engineering.- Identity and existence, and types in algebra.- Overloading and inheritance.- A SMoLCS based kit for defining high-level algebraic Petri nets.- Institutions for very abstract specifications.- About the “correctness” and “adequacy” of PLUSS specifications.- Semantic constructions in the specification language Glider.- On certification of specifications for TROLL light objects.- Translating TROLL light concepts to Maude.- Algebraic high level nets.- 2-Categorical specification of partial algebras.- A behavioural algebraic framework for modular system design with reuse.- On fibred adjunctions and completeness for fibred categories.- Implementing inequality and nondeterministic specifications with bi-rewriting systems.- A semantic basis for logic-independent transformation.- Unified algebras and abstract syntax.- Structured inheritance for algebraic class specifications.- Towards a theory for the animation of algebraic specifications.- Second-order proof systems for algebraic specification languages.- An institution of object behaviour.