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

Formal Methods of Progam Verification and Specification
出版社：0000.00
ISBN：0133288072
作者：H.K.Berg
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal methods of program verification and specification
  • 作者：Berg,H. K.
  • ISBN：0133288072
  • 出版社：Englewood Cliffs : Prentice-Hall, c1982
  • 出版年：1982
...

An Introduction to Formal Progam Verification
  • 作者：A.Mili
  • ISBN：0442263228
  • 出版社：0000.00
...

Real-time systems : formal specification and automatic verification
  • 作者：Olderog,E.-R.
  • ISBN：9780521883337
  • 出版社：Cambridge ; New York : Cambridge University Press, c2008.
  • 出版年：2008
...

Proceedings of the first ida orkshop on formal specification and verification of ada.
  • 作者：Clyde G.Roby.
  • ISBN：实价：185.08
  • 出版社：USA. Institure for Defense Analyses. 1985.
  • 出版年：1985
...

Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV
  • 作者：IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Syste
  • ISBN：0412847604
  • 出版社：Boston : Kluwer Academic Publishers, 1998.
  • 出版年：1998
...

Proceedings of the first ida orkshop on formal specification and verification of ada.
  • 作者：Clyde G.Roby.
  • 出版社：USA. Institure for Defense Analyses. 1985.
  • 出版年：1985