KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Algebraic Approaches to Program Semantics
  • Produktbild: Algebraic Approaches to Program Semantics

Algebraic Approaches to Program Semantics

Aus der Reihe Monographs in Computer Science

84,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.01.2014

Abbildungen

XIII, 353 p.

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

Abbildungen

XIII, 353 p.

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: 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: Algebraic Approaches to Program Semantics
  • Produktbild: Algebraic Approaches to Program Semantics
  • 1 Denotational Semantics of Control.- 1 An Introduction to Denotational Semantics.- 2 An Introduction to Category Theory.- 3 Partially Additive Semantics.- 4 Assertion Semantics.- 2 Semantics of Recursion.- 5 Recursive Specifications.- 6 Order Semantics of Recursion.- 7 Canonical Fixed Points.- 8 Partially Additive Semantics of Recursion.- 9 Fixed Points in Metric Spaces.- 3 Data Types.- 10 Functors.- 11 Recursive Specification of Data Types.- 12 Parametric Specification.- 13 Order Semantics of Data Types.- 14 Equational Specification.- Epilogue.- Author Index.