软件工程中的求精技术/Refinement techniques in software engineering
Cavalcanti, Ana (EDT)/ Sampaio, Augusto (EDT)/ Woodcock, Jim (EDT)
Springer-Verlag New York Inc
出版时间：2006-12
出版社：Springer-Verlag New York Inc
作者：Cavalcanti, Ana (EDT)/ Sampaio, Augusto (EDT)/ Woodcock, Jim (EDT)
页数：391
图书封面
下载链接
软件工程中的求精技术/Refinement techniques in software engineeringPDF格式下载