作者：
Sannella, DonaldTarlecki, AndrzejLFCS
Department of Computer Science University of Edinburgh Edinburgh United Kingdom Institute of Informatics
Warsaw University Institute of Computer Science Warsaw Poland LFCS
Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ United Kingdom
The main ideas underlying work on the model-theoretic foundations of algebraic specification and formal program development are presented in an informal way. An attempt is made to offer an overall view, rather than ne...
详细信息
The main ideas underlying work on the model-theoretic foundations of algebraic specification and formal program development are presented in an informal way. An attempt is made to offer an overall view, rather than new results, and to focus on the basic motivation behind the technicalities presented elsewhere.
暂无评论