Z形式规约的自动求精研究

Z形式规约的自动求精研究

出版社：国防工业出版社

ISBN：9787118060447

出版年：2009

作者：王宏生

学科：电技术、电子技术

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

形式规约语言LFC的实现和应用研究

作者：黄文集
出版社：中国科学院
出版年：2004

形式规约语言LFC的设计

作者：陈海明
出版社：中国科学院
出版年：2001

基于认知的自然语言自动形式化研究

作者：徐超
ISBN：9787522714615
出版社：中国社会科学出版社
出版年：2023

软件形式规格说明语言——Z

作者：繆淮扣
ISBN：9787302292777
出版社：清华大学出版社
出版年：2012

基于形式描述的编译优化自动测试方法与技术研究

作者：陶秋铭
出版社：中国科学院
出版年：2009

非经典自动机与形式语言理论研究

作者：程伟
出版年：2005