KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 11.11.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thaalia.live und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • 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

Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held...

Beschreibung

Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992.
The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

28.04.1994
Abbildungen

VIII, 356 p.
Herausgeber Hartmut Ehrig + weitere

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.