Specification and transformation of programsde Helmut A. PartschMateriasComputer softwareDevelopmentLogicielsDéveloppementEdiciones (1)Specification and transformation of programs (1990)Springer-Verlag · inglésMás obras de Helmut A. PartschSpecification and Transformation of Programs Monographs in Computer ScienceFormal program developmentVer todas las obras de Helmut A. Partsch →