Recent Trends in Data Type Specification
Ehrig, Hartmut.
Recent Trends in Data Type Specification 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26-30, 1992 Selected Papers / edited by Hartmut Ehrig, Fernando Orejas. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540483618
Computer science.; Software engineering.; Logic design.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.
Recent Trends in Data Type Specification 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26-30, 1992 Selected Papers / edited by Hartmut Ehrig, Fernando Orejas. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540483618
Computer science.; Software engineering.; Logic design.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.