Recent Trends in Data Type Specification
Astesiano, Egidio.
Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers / edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540491989
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 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers / edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540491989
Computer science.; Software engineering.; Logic design.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.