Telecharger Cours

???? £ ?? - School of Informatics

A hierarchical specification language for data types is proposed. The semantics of a specification is a set of related data types whose operations have th ...



Download