語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Symbolic model checking /
~
McMillan, Kenneth L.
FindBook
Google Book
Amazon
博客來
Symbolic model checking /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Symbolic model checking // by Kenneth L. McMillan.
作者:
McMillan, Kenneth L.
出版者:
Boston :Kluwer Academic, : c1993.,
面頁冊數:
xv, 194 p. :ill. ;28 cm.
標題:
Electronic digital computers - Circuits -
ISBN:
0792393805 (acid-free paper)
Symbolic model checking /
McMillan, Kenneth L.
Symbolic model checking /
by Kenneth L. McMillan. - Boston :Kluwer Academic,c1993. - xv, 194 p. :ill. ;28 cm.
Includes bibliographical references (p. 183-190) and index.
ISBN: 0792393805 (acid-free paper)
LCCN: 93024859Subjects--Topical Terms:
649756
Electronic digital computers
--Circuits
LC Class. No.: TK7888.4 / .M43 1993
Dewey Class. No.: 621.39/2
Symbolic model checking /
LDR
:00542nam a2200181 a 45
001
643550
003
DLC
005
19930721122443.3
008
930517s1993 maua b 001 0 eng
010
$a
93024859
020
$a
0792393805 (acid-free paper)
035
$a
dt 00001153
040
$a
DLC
$c
DLC
$d
DLC
050
0 0
$a
TK7888.4
$b
.M43 1993
082
0 0
$a
621.39/2
$2
20
100
$a
McMillan, Kenneth L.
$3
649755
245
1 0
$a
Symbolic model checking /
$c
by Kenneth L. McMillan.
260
$a
Boston :
$c
c1993.
$b
Kluwer Academic,
300
$a
xv, 194 p. :
$b
ill. ;
$c
28 cm.
504
$a
Includes bibliographical references (p. 183-190) and index.
650
$a
Electronic digital computers
$x
Circuits
$x
Design
$x
Data processing.
$3
649756
650
$a
Logic design
$x
Data processing.
$3
649530
650
$a
Symbolic circuit analysis
$x
Data processing.
$3
649757
筆 0 讀者評論
館藏地:
全部
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W0011301
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
01.外借(書)_YB
一般圖書
TK7888.4 M167 1993
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入