FM8501 : a verified microprocessor / Warren A. Hunt, Jr. (Lecture notes in computer science ; 795. Lecture notes in artificial intelligence)

FM8501 : a verified microprocessor / Warren A. Hunt, Jr.

(Lecture notes in computer science ; 795. Lecture notes in artificial intelligence)

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 0387579605
Title: FM8501 : a verified microprocessor / Warren A. Hunt, Jr.
Series Title: Lecture notes in computer science ; 795. Lecture notes in artificial intelligence
Title Heading: Lecture notes in computer science ; 795.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Author Heading: Hunt, Warren A., 1958-
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: c1994.
Publication Date (W3CDTF): 1994
Extent: xiii, 333 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: 電子計算機∥演算装置. Densikeisanki∥Enzansoti.
FM8501 (Microprocessor)
LCC: QA73.8.F6
DDC: 621.39/2
NDLC: M164
Note (General): Includes index.
Biliography: p. [330]-333.
Holding library: 国立国会図書館
Call No.: M164-A12
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003227174
http://id.ndl.go.jp/bib/000003227174
LC Control Number: 94011657
https://lccn.loc.gov/94011657
Bibliographic Record Category (NDL): 211