An edition of Categorical methods in computer science
(1989)
Categorical Methods in Computer Science
With Aspects from Topology (Lecture Notes in Computer Science)
1 edition
by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, and Gerhard Preuß
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)
November 14, 1989, Springer
Paperback
in English
- 1 edition
3540517227 9783540517221
|
aaaa
Libraries near you:
WorldCat
|
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])."
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?
| October 4, 2021 | Edited by ImportBot | import existing book |
| June 26, 2019 | Created by MARC Bot | import existing book |