4 works Add another?
Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Algebra, Congresses, Algebra, data processing, Algebraic logic, CafeOBJ, Data processing, Formal methods (Computer science), Object-oriented methods (computer science), Réécriture, Spécification algébrique, Théorie démonstrationID Numbers
- OLID: OL3266930A
Links (outside Open Library)
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |