检索条件： 形式化 ( 题名 )
责任者 朱水林著
出版信息 人民出版社 ,1987
ISBN
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
形式化：现代逻辑的发展
朱水林著.人民出版社,1987.
责任者 xing shi hua : xian dai luo ji de fa zhan
xing shi hua : xian dai luo ji de fa zhan.人民出版社,1987.
责任者 张广泉编著
出版信息 清华大学出版社 ,2015
ISBN 978-7-302-41161-1
形式化方法导论
张广泉编著.清华大学出版社,2015.
责任者 胡惮著
出版信息 中国社会科学出版社 ,2011
ISBN 978-7-5004-9663-2
概念变体及其形式化描写
胡惮著.中国社会科学出版社,2011.
责任者 (日)刘少英著
出版信息 清华大学出版社 ,2008
ISBN 978-7-302-18317-4
软件开发的形式化工程方法：结构化+面向对象+形式化：英文本
(日)刘少英著.清华大学出版社,2008.
责任者 王瑞昀著
出版信息 郑州大学出版社
ISBN 978-7-5645-1658-1
英汉疑问句形式化对比研究
王瑞昀著.郑州大学出版社,.
责任者 古天龙[著
出版信息 高等教育出版社 ,2005
ISBN 7-04-016079-X
软件开发的形式化方法
古天龙[著.高等教育出版社,2005.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
