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

Proceedings of the first ida orkshop on formal specification and verification of ada.
出版社：USA. Institure for Defense Analyses. 1985.
ISBN：实价：185.08
出版年：1985
作者：Clyde G.Roby.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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

Formal Methods of Progam Verification and Specification
  • 作者：H.K.Berg
  • ISBN：0133288072
  • 出版社：0000.00
...

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

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
...

Hardware specification, verification, and synthesis : mathematical aspects : proceedings
  • 作者：Leeser,M.
  • ISBN：0387972269
  • 出版社：Berlin ; New York : Springer-Verlag, 1990.
  • 出版年：1990