An Introduction to Formal Progam Verification

出版社:0000.00
ISBN:0442263228
作者:A.Mili
资源类型:图书
细分类型:西文文献
相关推荐

Formal Methods of Progam Verification and Specification

  • 作者:H.K.Berg
  • ISBN:0133288072
  • 出版社:0000.00

An introduction to formal program verification

  • 作者:Mili,Ali.
  • ISBN:0442263228
  • 出版社:New York : Van Nostrand Reinhold, c1985.
  • 出版年:1985

Applied Formal Verification

  • 作者:Perry,Douglas L
  • ISBN:007144372X
  • 出版社:USA: The McGraw-Hill Companies., 2005
  • 出版年:2005

Scalable techniques for formal verification

  • 作者:Ray,Sandip.
  • ISBN:9781441959973
  • 出版社:New York : Springer, c2010.
  • 出版年:2010

Formal methods of program verification and specification

  • 作者:Berg,H. K.
  • ISBN:0133288072
  • 出版社:Englewood Cliffs : Prentice-Hall, c1982
  • 出版年:1982

A roadmap for formal property verification

  • 作者:Dasgupta,Pallab.
  • ISBN:1402047576
  • 出版社:Dordrecht : Springer, c2006.
  • 出版年:2006