D. Sannella · 3 obras en el catálogoObrasAlgebraic system specification and developmentFFoundations of Algebraic Specification and Formal Program DeFoundations of Algebraic Specification and Formal Program DevelopmentRecent Trends in Data Type Specification
FFoundations of Algebraic Specification and Formal Program DeFoundations of Algebraic Specification and Formal Program Development