KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Categorical Methods in Computer Science
  • Produktbild: Categorical Methods in Computer Science
Band 393

Categorical Methods in Computer Science With Aspects from Topology

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.10.1989

Abbildungen

VI, 354 p.

Herausgeber

Hartmut Ehrig + weitere

Verlag

Springer Berlin

Seitenzahl

354

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

552 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51722-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.10.1989

Abbildungen

VI, 354 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

354

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

552 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51722-1

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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: Categorical Methods in Computer Science
  • Produktbild: Categorical Methods in Computer Science
  • A categorical concept of constraints for algebraic specifications.- The integration of logical and algebraic types.- Colimits as parameterized data types.- Empty carriers: The categorical burden on logic.- Monads, matrices and generalized dynamic algebra.- Foundations are rich institutions, but institutions are poor foundations.- Development of algebraic specifications with constraints.- Revised ACT ONE: Categorical constructions for an algebraic specification language.- Objects, object types, and object identification.- Categories for the development of algebraic module specifications.- Parameterized data type and process specifications using projection algebras.- Parameterized algebraic domain equations.- Semantical constructions for categories of behavioural specifications.- Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing.- On declarations.- Cauchy sequences in quasi-uniform spaces: Categorical aspects.- The construct PRO of projection spaces: its internal structure.- Categories and mathematical morphology.- Topological spaces for cpos.- On the topological structures of nets.- Description of the topological universe hull.- On residuated approximations.- On convergence of filters and ultrafilters to subsets.