國立虎尾科技大學 |

Language: English

Back

Reasoning in boolean networks : Logi...

Stoffel, Dominik

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

Record Type:	Language materials, printed : monographic
Title Information:	Logic synthesis and verification using testing techniques
Author:	KunzWolfgang,
Alternative Intellectual Responsibility:	StoffelDominik,
Place of Publication:	Boston
Published:	Kluwer Academic Pub;
Year of Publication:	1997
Description:	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