Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Publish Date
September 1998
Publisher
World Scientific Publishing Company
Language
English
Pages
174
Check nearby libraries
Buy this book
Previews available in: English
Showing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Cafe Obj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Series in Computing, Vol 6)
September 1998, World Scientific Publishing Company
Hardcover
in English
9810235135 9789810235130
|
aaaa
Libraries near you:
WorldCat
|
2
Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
1998, World Scientific Publishing Co Pte Ltd
in English
1299280994 9781299280991
|
zzzz
Libraries near you:
WorldCat
|
3
CafeOBJ Report: The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification
1998, World Scientific Publishing Co Pte Ltd
in English
9812816100 9789812816108
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"CafeOBJ is a direct successor of OBJ, maybe the most famous algebraic language."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
August 17, 2023 | Edited by ImportBot | import existing book |
January 14, 2023 | Edited by ImportBot | import existing book |
June 28, 2019 | Edited by MARC Bot | import existing book |
April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |