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

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.10.1989

Herausgeber

Hartmut Ehrig + weitere

Verlag

Springer Berlin

Seitenzahl

354

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

638 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51722-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.10.1989

Herausgeber

Verlag

Springer Berlin

Seitenzahl

354

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

638 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51722-1

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: [email protected]

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • 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.