书籍介绍
图书目录
相关书籍
- 《软件开发的形式化工程方法：结构化+面向对象+形式化》[日]SHAOYING LIU著 2008
- 《软件开发的形式化工程方法：结构化+面向对象+形式化》[日]SHAOYING LIU著 2008
- 《面向对象软件的形式验证技术》文志诚著 2011
- 《面向对象软件的形式验证技术》文志诚著 2011
- 《软件工程形式化方法与语言》李莹，吴江琴著 2010
- 《软件工程形式化方法与语言》李莹，吴江琴著 2010
- 《软件开发的形式化工程方法》（日）刘少英著 2008
- 《软件开发的形式化工程方法》（日）刘少英著 2008
- 《B方法与形式化软件开发技术研究》崔梦天，韩伟著 2012
- 《B方法与形式化软件开发技术研究》崔梦天，韩伟著 2012
出版社其它书籍
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《THE PRESS AND AMERICA》 2222
- 《THE PRESS AND AMERICA》 2222
