國立虎尾科技大學 |

登入

回首頁

Reasoning in boolean networks : Logi...

Stoffel, Dominik

Reasoning in boolean networks : Logic synthesis and verification using testing techniques

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	Logic synthesis and verification using testing techniques
作者:	KunzWolfgang,
合作者:	StoffelDominik,
出版地:	Boston
出版者:	Kluwer Academic Pub;
出版年:	1997
面頁冊數:	xv,230 pill : 25cm;
ISBN:	0792399218

Reasoning in boolean networks : Logic synthesis and verification using testing techniques
Kunz, Wolfgang

Reasoning in boolean networks : Logic synthesis and verification using testing techniques / Wolfgang Kunz & Dominik Stoffel - Boston : Kluwer Academic Pub, 1997. - xv,230 p ; ill ; 25cm.
Includes index.
ISBN 0792399218

Stoffel, Dominik

Reasoning in boolean networks : Logic synthesis and verification using testing techniques
LDR:00534cam0 2200157 450 001 435325
005 20101023220108.0
010 1 $a 0792399218 $b (hard) $d NT
100 $a 20080130d1997 m y0engy01 b
101 0 $a eng
105 $a a z 001zy
200 1 $a Reasoning in boolean networks $e Logic synthesis and verification using testing techniques $f Wolfgang Kunz & Dominik Stoffel
210 $a Boston $c Kluwer Academic Pub $d 1997
215 1 $a xv,230 p $c ill $d 25cm
320 $a Includes index
676 $a 621.395 $b K96
700 $a Kunz $b Wolfgang $3 413700
701 $a Stoffel $b Dominik $3 413721
801 0 $a cw $b 國立國立虎尾科技大學圖書館 $c 19981001 $g CCR