Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 25.08.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads (außer Abo), nicht preisgebundene Bücher und Kalender online auf thalia.at 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 preisgebundene Artikel, Abos & Flatrates, eBooks, 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. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • Produktbild: Algebraic Approaches to Program Semantics
  • Produktbild: Algebraic Approaches to Program Semantics

Algebraic Approaches to Program Semantics

Aus der Reihe Monographs in Computer Science

86,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.01.2014

Verlag

Springer Us

Seitenzahl

353

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

563 g

Auflage

1986

Sprache

Englisch

ISBN

978-1-4612-9377-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.01.2014

Verlag

Springer Us

Seitenzahl

353

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

563 g

Auflage

1986

Sprache

Englisch

ISBN

978-1-4612-9377-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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: Algebraic Approaches to Program Semantics
  • Produktbild: Algebraic Approaches to Program Semantics
  • 1 Denotational Semantics of Control.- 1 An Introduction to Denotational Semantics.- 1.1 Syntax and Semantics.- 1.2 A Simple Fragment of Pascal.- 1.3 A Functional Programming Fragment.- 1.4 Multifunctions.- 1.5 A Preview of Partially Additive Semantics.- 2 An Introduction to Category Theory.- 2.1 The Definition of a Category.- 2.2 Isomorphism, Duality, and Zero Objects.- 2.3 Products and Coproducts.- 3 Partially Additive Semantics.- 3.1 Partial Addition.- 3.2 Partially Additive Categories and Iteration.- 3.3 The Boolean Algebra of Guards.- 4 Assertion Semantics.- 4.1 Assertions and Preconditions.- 4.2 Partial Correctness.- 4.3 Total Correctness.- 2 Semantics of Recursion.- 5 Recursive Specifications.- 5.1 The Kleene Sequence.- 5.2 The Pattern-of-Calls Expansion.- 5.3 Iteration Recursively.- 6 Order Semantics of Recursion.- 6.1 Domains.- 6.2 Fixed Point Theorems.- 6.3 Recursive Specification in FPF.- 6.4 Fixed Points and Formal Languages.- 7 Canonical Fixed Points.- 8 Partially Additive Semantics of Recursion.- 8.1 PAR Schemes.- 8.2 The Canonical Fixed Point for PAR Schemes.- 8.3 Additive Domains.- 8.4 Proving Correctness.- 8.5 Power Series and Products.- 9 Fixed Points in Metric Spaces.- 9.1 Contractions on Complete Metric Spaces.- 9.2 Differential Equations.- 9.3 Metrics on Trees.- 9.4 Context-Free Languages as Metric Fixed Points.- 3 Data Types.- 10 Functors.- 10.1 Data Types Lead to Functors.- 10.2 Fixed Points of Functors.- 11 Recursive Specification of Data Types.- 11.1 From Least Upper Bounds to Least Fixed Points.- 11.2 Co-continuous Functors.- 11.3 Continuous Functors and Greatest Fixed Points.- 12 Parametric Specification.- 12.1 Arrays.- 12.2 Stacks and Queues.- 12.3 A Functional Programming Fragment Revisited.- 13 Order Semantics of Data Types.- 13.1 Introduction.- 13.2 Constructions with Domains.- 13.3 Cartesian-Closed Categories.- 13.4 Solving Function Space Equations.- 14 Equational Specification.- 14.1 Initial Algebras.- 14.2 Sur-reflections.- Epilogue.- Author Index.