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

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

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

552 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

552 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51722-1

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: 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.