The Automatic assessment of Z specifications /

Saved in:
书目详细资料
主要作者: Zarina Shukur
格式: Thesis 图书
语言:English
出版: Nottingham : School of Computer Science and IT, University of Nottingham, 1999
主题:
标签: 添加标签
没有标签, 成为第一个标记此记录!

相似书籍