An edition of CafeOBJ report
(1998)
Cafe Obj Report
The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Series in Computing, Vol 6)
by Razvan Diaconescu and Kokichi Futatsugi
- 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?
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?
| August 17, 2023 | Edited by ImportBot | import existing book |
| June 28, 2019 | Created by MARC Bot | import existing book |