.gif)
Algebraic specification of abstract data types
| Title | Algebraic specification of abstract data types |
| Publication Type | Book Chapter |
| Year of Publication | 2000 |
| Authors | Loeckx, J., H. - D. Ehrich, and M. Wolf |
| Book Title | Handbook of Logic in Computer Science, Volume 5 |
| Pagination | 217-316 |
| Publisher | Oxford Science Publications |
| Abstract | no |
| Public | no |