Home › Biblio

Biblio

Export 2 results:
Sort by: Author Keyword Title Type [ Year (Asc)]
Filters: Author is Wolf, M.  [Clear All Filters]
1996
Loeckx, J., H. - D. Ehrich, and M. Wolf, Specification of abstract data types, : J. Wiley & Sons and B.G.Teubner Publishers, 1996. Abstract
2000
Loeckx, J., H. - D. Ehrich, and M. Wolf, "Algebraic specification of abstract data types", Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000. Abstract