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ß
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| 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
|
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
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| October 4, 2021 | Edited by ImportBot | import existing book |
| June 26, 2019 | Created by MARC Bot | import existing book |