D. Sannella

D. Sannella

2 books in the database

Books

Recent Trends in Data Type SpecificationD. Sannella

Recent Trends in Data Type Specification

D. Sannella · 1988

Foundations of Algebraic Specification and Formal Program DevelopmentD. Sannella

Foundations of Algebraic Specification and Formal Program Development

Co-authored books and collections

Books that list D. Sannella among their authors but not as the lead author: co-written works, collections and compilations.

Algebraic system specification and developmentM. Bidoit

Algebraic system specification and development

M. Bidoit · 1991