Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 20.07.2026 bis 22.07.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
Produktbild: Fundamentals of Algebraic Specification 2
Band 21

Fundamentals of Algebraic Specification 2 Module Specifications and Constraints

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

28.12.1989

Verlag

Springer Berlin

Seitenzahl

429

Maße (L/B/H)

24,6/17,3/2,9 cm

Gewicht

916 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-51799-3

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

28.12.1989

Verlag

Springer Berlin

Seitenzahl

429

Maße (L/B/H)

24,6/17,3/2,9 cm

Gewicht

916 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-51799-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

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: Fundamentals of Algebraic Specification 2
  • 1 Informal Introduction to Abstract Modules.- 1A: Towards Modularization in Software Development.- 1B: Modules and Modularization in Programming and Specification Languages.- 1C: Concepts for Abstract Modules and Modular Systems.- 1D: Informal Introduction to Algebraic Specification of Modules and Modular Systems.- 1E: Abstract Data Types and Abstract Modules.- 1F: Bibliographic Notes.- 2 Module Specifications.- 2A: Syntax of Module Specifications.- 2B: Restriction Construction and Conservative Functors.- 2C: Semantics and Correctness of Module Specifications.- 2D: Modular Specification of an Airport Schedule: Part 1.- 3 Basic Operations on Module Specifications.- 3A: Composition.- 3B: Union.- 3C: Actualization.- 3D: Distributive Laws.- 3E: Modular Specification of an Airport Schedule System: Part 2.- 4 General Operations on Module Specifications.- 4A: General Notion of Operations.- 4B: Clean Operations.- 4C: Renaming, Partial Composition and Recursion.- 4D: Product and Iteration.- 4E: Bibliographic Notes for Chapters 2, 3, and 4.- 5 Refinement, Interface Specifications, and Realizations.- 5A: Refinement.- 5B: Interface Specifications.- 5C: Realization.- 5D: Modular Specification of an Airport Schedule System: Part 3.- 6 Development Categories, Simulation, and Transformation.- 6A: Development Categories.- 6B: Compatibility of Operations with Development Steps.- 6C: Simulation.- 6D: Transformations.- 6E: Bibliographic Notes for Chapters 5 and 6.- 7 Constraints.- 7A: Concepts of Constraints.- 7B: Logic of Constraints.- 7C: Specifications with Constraints.- 7D: Parameterized Specifications with Constraints.- 8 Module Specifications and Operations with Constraints.- 8A: Module Specifications with Constraints.- 8B: Composition with Constraints.- 8C: Union with Constraints.- 8D: Actualization with Constraints.- 8E: Modular Specification of an Airport Schedule System: Part 4.- 8F: Discussion and Bibliographic Notes for Chapters 7 and 8.- 9 Abstract ACT ONE and ACT TWO.- 9A: Abstract Specifications with Constraints.- 9B: Abstract ACT ONE.- 9C: Abstract ACT TWO.- 9D: Modular Specification of an Airport Schedule System: Part 5.- 9E: Bibliographic Notes for Chapter 9.- 10 Summary of Basic Notions.- 10A: Summary of Equational Specifications.- 10B: Summary of Parameterized Specifications.- 10C: Basic Concepts from Category Theory.