Check nearby libraries
Buy this book

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)
October 4, 2021 | Edited by ImportBot | import existing book |
June 26, 2019 | Created by MARC Bot | import existing book |