高水準ハードウェア記述を用いた会話型論理シミュレータ・ベリファイアの試作研究

高水準ハードウェア記述を用いた会話型論理シミュレータ・ベリファイアの試作研究

Call No. (NDL): Y151-S59850059
Bibliographic ID of National Diet Library: 000007044202

Material type: 図書

Author: 矢島脩三, 京都大学

Publisher: -

Publication date: 1984-1985

Material Format: Paper

Capacity, size, etc.: -

NDC: -

Notes on use

Note (General)：: 文部省科学研究費補助金研究成果報告書

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

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

Paper

Material Type: 図書
Title: 高水準ハードウェア記述を用いた会話型論理シミュレータ・ベリファイアの試作研究
Title Transcription: コウスイジュンハードウェアキジュツオモチイタカイワガタロンリシミュレータ・ベリファイアノシサクケンキュウ
Author/Editor: 矢島脩三, 京都大学
Author Heading: 矢島, 脩三ヤジマ, シュウゾウ
Publication Date: 1984-1985
Publication Date (W3CDTF): 1984
1985
Extent: 冊
Additional Title: 研究種目試験研究
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 59850059
Holding library: 国立国会図書館
Call No.: Y151-S59850059
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007044202
http://id.ndl.go.jp/bib/000007044202
Bibliographic Record Category (NDL): 214