Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Symbolic model checking /
~
McMillan, Kenneth L.
Linked to FindBook
Google Book
Amazon
博客來
Symbolic model checking /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Symbolic model checking // by Kenneth L. McMillan.
Author:
McMillan, Kenneth L.
Published:
Boston :Kluwer Academic, : c1993.,
Description:
xv, 194 p. :ill. ;28 cm.
Subject:
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
based on 0 review(s)
Location:
ALL
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W0011301
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
01.外借(書)_YB
一般圖書
TK7888.4 M167 1993
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login