An edition of Categorical methods in computer science (1990)

Categorical Methods in Computer Science

With Aspects from Topology (Lecture Notes in Computer Science)

Categorical Methods in Computer Science
H. Ehrig, H. Herrlich, H. J. K ...
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

Last edited by LC Bot
December 28, 2011 | History
Edit
An edition of Categorical methods in computer science (1990)

Categorical Methods in Computer Science

With Aspects from Topology (Lecture Notes in Computer Science)

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
350

Check nearby libraries

Buy this book

Subjects

Categories (Mathematics) Congresses Computer science Topology
Edition Availability
Cover of: Categorical Methods in Computer Science
Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)
February 1990, Springer
in English

Add another edition?

Book Details

First Sentence

"In the theory of algebraic specifications two different kinds of semantics have been considered in particular: Initial and loose semantics (see [GTW 76], [BG 80], [HKR 80], [EM 85])."

Edition Identifiers

Open Library
OL7446289M
ISBN 10
0387517227
ISBN 13
9780387517223
Goodreads
2022014

Work Identifiers

Work ID
OL16355409W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON