• 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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.04.1994

Herausgeber

Hartmut Ehrig + weitere

Verlag

Springer Berlin

Seitenzahl

356

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

550 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57867-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.04.1994

Herausgeber

Verlag

Springer Berlin

Seitenzahl

356

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

550 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57867-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • 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.