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

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

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.
  • 出版社：USA. Institure for Defense Analyses. 1985.
  • 出版年：1985
...

Design, specification and verification of interactive systems ''97 : proceedings of the Eurographics
  • 作者：Harrison,M.D.,
  • ISBN：3211830553
  • 出版社：Wien : Springer, c1997.
  • 出版年：1997
...

Design, specification and verification of interactive systems''96 : proceedings of the Eurographics w
  • 作者：Bodart,F.,
  • ISBN：3211829008
  • 出版社：Wien : Springer, c1996.
  • 出版年：1996