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

Formal equivalence checking and design debugging
出版社：Boston : Kluwer Academic Publishers, c1998.
ISBN：079238184X
出版年：1998
作者：Huang,Shi-Yu,
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

The structured alternative : program design, style, and debugging
  • 作者：Cassel,Don,
  • ISBN：0835970841
  • 出版社：Reston : Reston, c1983
  • 出版年：1983
...

Program style, design, efficiency, debugging, and testing.
  • 作者：Van Tassel,Dennie,
  • ISBN：0137299397
  • 出版社：Englewood Cliffs, N.J., Prentice-Hall 1974.
  • 出版年：1974
...

Program style, design, efficiency, debugging, and testing
  • 作者：Van Tassel,Dennie,
  • ISBN：0137299478
  • 出版社：Englewood Cliffs, N.J. : Prentice-Hall, c1978.
  • 出版年：1978
...

Formal specification and design
  • 作者：Feijs,L. M. G.
  • ISBN：0521435927
  • 出版社：New York : Cambridge University Press, 2005.
  • 出版年：2005
...

Formal techniques for data base design
  • 作者：Furtado,A. L.
  • ISBN：143.52
  • 出版社：Berlin : Springer, 1986.
  • 出版年：1986
...

Self-checking and fault-tolerant digital design
  • 作者：Lala,Parag K.,
  • ISBN：0124343708
  • 出版社：San Francisco : Morgan Kaufmann, c2001.
  • 出版年：2001