紀錄類型: |
書目-語言資料,印刷品
: Monograph/item
|
正題名/作者: |
Assertion-Based Design/ by Harry Foster, Adam Krolnik, David Lacey. |
作者: |
Foster, Harry. |
其他作者: |
Krolnik, Adam. |
出版者: |
Boston, MA :Springer Science + Business Media, Inc., : 2005., |
面頁冊數: |
xxiii, 390 p. :ill., digital ;25 cm. |
Contained By: |
Springer e-books |
標題: |
Electronic and Computer Engineering. - |
電子資源: |
http://dx.doi.org/10.1007/b117047http://dx.doi.org/10.1007/b117047 |
ISBN: |
9781402080272 (paper) |