登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Using Search Techniques in the Formal Analysis of Programs
出版社：中国科学院软件研究所
作者：Zhang Jian
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Quantitative analysis using chromatographic techniques
  • 作者：Katz,Elena.
  • ISBN：0471914061
  • 出版社：Chichester ; New York : Wiley, c1987.
  • 出版年：1987
...

Spatial analysis techniques using MyGeoffice
  • 作者：Negreiros,João Garrott Marques,
  • ISBN：9781522532705
  • 出版社：Hershey PA : Engineering Science Reference, 2018.
  • 出版年：2018
...

Design for testability, debug and reliability : next generation measures using formal techniques
  • 作者：Huhn,Sebastian,
  • ISBN：9783030692087
  • 出版社：Cham : Springer, 2021.
  • 出版年：2021
...

Using authentic assessment in information literacy programs : tools, techniques, and strategies
  • 作者：Ferguson,Jennifer S.,
  • ISBN：9781538104804
  • 出版社：Lanham : Rowman & Littlefield, 2018.
  • 出版年：2018
...

Systems analysis and design using network techniques
  • 作者：Whitehouse,Gary E.
  • 出版社：Englewood Cliffs: Prentice-Hall, c1973.
  • 出版年：1973
...

Systems analysis and design using network techniques
  • 作者：Gary E.Whitehouse
  • ISBN：0138814740
  • 出版社：0000.00