Formal Specification and Documentation Using Z: A Case Study Approach

Formal Specification and Documentation Using Z: A Case Study Approach

还没有评分
Jan 1, 1996 · 英语 · 平装书 (302 页数)
加入书架

评价这本书


导出书籍日志

书籍详情

格式 平装书
页数 302
语言 英语
已发布 Jan 1, 1996
出版商 Itp - Media
ISBN-10 1850322309
ISBN-13 9781850322306

描述

Book by Bowen, Jonathan
加入书架

评价这本书


导出书籍日志