登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Formal Semantics and Proof Techniques for Optimizing VHDL Models
EISBN：9781461551232
PISBN：9780792383758
出版社：Springer US
出版类型：Contributed volume
出版时间：1999
版次：1999
作者：Kothanda Umamageswaran,Sheetanshu L. Pandey,Philip A. Wilsey
主题词：Engineering,Circuits and Systems,Computer Hardware,Computer-Aided Engineering (CAD,CAE) and Design,Electrical Engineering
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Semantics and Proof Techniques for Optimizing VHDL Models
  • 作者：Kothanda Umamageswaran,Sheetanshu L. Pandey,Philip A. Wilsey
  • EISBN：9781461551232
  • 出版社：Springer US
  • 出版时间：1999
...

Formal Semantics for VHDL
  • 作者：Carlos Delgado Kloos,P. Breuer
  • EISBN：9781461522379
  • 出版社：Springer US
  • 出版时间：1995
...

Formal Semantics for VHDL
  • 作者：Carlos Delgado Kloos,Peter T. Breuer
  • EISBN：9781461522379
  • 出版社：Springer US
  • 出版时间：1995
...

Formal Models and Semantics
  • 作者：van Leeuwen,J.
  • PISBN：9780444880741
  • 出版时间：Legacy
...

Advances in Proof-Theoretic Semantics
  • 作者：Thomas Piecha,Peter Schroeder-Heister
  • EISBN：9783319226866
  • 出版社：Springer International Publishing
  • 出版时间：2016
...

Formal Syntax and Semantics of Java
  • 作者：Jim Alves-Foss
  • EISBN：9783540487371
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1999