【书名】：《SOFTWARE PROTOTYPING FORMAL METHODS AND VDM,SHARAM HEKMATPOUR,DARREL INCE,ADDISON WESLEY PUBLISHING COMPANY ING,1988》
【作者】：
【出版社】：
【时间】：
【页数】：222
【ISBN】：
【SS码】：40353441