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

Hardware specification verification and synthesis : mathematical aspects : proceedings
出版社：Berlin ; New York : Springer-Verlag, 1990.
ISBN：0387972269
出版年：1990
作者：Leeser,M.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Hardware description languages and their applications : specification, modelling, verification and s
  • 作者：IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and Their Appli
  • ISBN：0412788101
  • 出版社：London : Chapman & Hall, c1997.
  • 出版年：1997
...

Protocol specification, testing and verification, XIII : proceedings of the ...
  • 作者：IFIP TC6/WG6.1 International Symposium on Protocol Specification,Testing and Verification
  • ISBN：0444816488
  • 出版社：Amsterdam : North-Holland, 1993.
  • 出版年：1993
...

Formal verification of floating-point hardware design : a mathematical approach
  • 作者：Russinoff,David,
  • ISBN：9783319955124
  • 出版社：Cham, Switzerland : Springer, 2019.
  • 出版年：2019
...

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

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

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International
  • 作者：IFIP WG 6.1 International Workshop on Protocol Specification,Testing,and Verification
  • ISBN：0444876766
  • 出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A and C
  • 出版年：1985