Formal Semantics for VHDL

EISBN:9781461522379
PISBN:9781461359418
出版社:Springer US
出版类型:Contributed volume
出版时间:1995
作者:Carlos Delgado Kloos,Peter T. Breuer
主题词:Circuits and Systems,Computer Hardware,Computing Methodologies,Electrical Engineering
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Formal Semantics for VHDL

  • 作者:Carlos Delgado Kloos,P. Breuer
  • EISBN:9781461522379
  • 出版社:Springer US
  • 出版时间:1995

Formal Semantics and Proof Techniques for Optimizing VHDL Models

  • 作者:Kothanda Umamageswaran,Sheetanshu L. Pandey,Philip A. Wilsey
  • EISBN:9781461551232
  • 出版社:Springer US
  • 出版时间:1999

Formal Semantics and Proof Techniques for Optimizing VHDL Models

  • 作者:Kothanda Umamageswaran,Sheetanshu L. Pandey,Philip A. Wilsey
  • EISBN:9781461551232
  • 出版社:Springer US
  • 出版时间:1999

Formal Models and Semantics

  • 作者:van Leeuwen,J.
  • PISBN:9780444880741
  • 出版时间:Legacy

Formal Syntax and Semantics of Java

  • 作者:Jim Alves-Foss
  • EISBN:9783540487371
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999

Formal Syntax and Semantics of Java

  • 作者:Jim Alves-Foss
  • EISBN:9783540487371
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999