返回首页 联系帮助
Z规范及其使用方法
下载此书RAR压缩包在线购买PDF电子书
赵正旭,温晋杰,赵卫华著2015 年出版145 页ISBN:9787030447876
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中,Z语言精确的描述软件系统”做什么”...
行政法学
温晋锋著2002 年出版495 页ISBN:730503827X
批评与真实
(法)罗兰·巴特(Roland Barthes)著;温晋仪译1999 年出版85 页ISBN:7208031312
警官之死
(瑞典)玛依·帅瓦尔 佩尔·瓦略著李国庆 温晋根译责任编辑:李家云1990 年出版254 页ISBN:
(法)罗兰·巴特(ROLAND BARTHES)著;温晋仪译2016 年出版58 页ISBN:7208139077
我与中信 1979-1994
温晋平主编1995 年出版265 页ISBN:7800730883
怎样写行书
王贤春编著;温晋根编译2007 年出版184 页ISBN:7119048600
本书介绍中国行书的特点与书写技巧,附有大量名家作品供学习者欣赏与临写。
桥 革命儿歌集
张崇纲,刘饶民,王玉,朱晋杰编1973 年出版68 页ISBN:10099·73
幼教儿歌300首
朱晋杰编2004 年出版307 页ISBN:7538525424
本书用儿歌形式向幼儿进行教育。
罗贯中传奇
曹晋杰,朱步楼著1989 年出版154 页ISBN:7504807281
本书是一部短篇传说的故事集