Cafeobj Report
The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
We couldn't estimate the reading time for this book.
Publication
1998 - World Scientific Publishing Co Pte Ltd
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139781299280991
- ISBN-101299280994
- Better World Books9781299280991
- Open LibraryOL49255729M
Subjects
Topics
AlgebraCafeOBJRéécritureThéorie démonstrationSpécification algébriqueObject-oriented methods (computer science)
Other Editions
- Cafeobj Report
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!