A formal language for the specification and verification of synchronous and asynchronous circuits [microform] / David M. Russinoff (NASA contractor report ; 191509)

A formal language for the specification and verification of synchronous and asynchronous circuits [microform] / David M. Russinoff

(NASA contractor report ; 191509)

Call No. (NDL): YCA-NAS 1.26:191509
Bibliographic ID of National Diet Library: 000006590723

Material type: 図書

Author: Russinoff, David Mほか

Publisher: -

Publication date: 1993

Material Format: Microform

Capacity, size, etc.: microfiche ; 11 × 15 cm

NDC: -

View All

Notes on use

Note (General)：: Distributed to depository libraries in microficheShipping list no.: 94-0081-MPhysical description for original version: 1 v

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.

Microform

Material Type: 図書
Title: A formal language for the specification and verification of synchronous and asynchronous circuits [microform] / David M. Russinoff
Series Title: NASA contractor report ; 191509
Title Heading: NASA contractor report ; NASA CR-191509
Author Heading: Russinoff, David M
Langley Research Center
Publication Date (W3CDTF): 1993
Extent: microfiche
Size: 11 × 15 cm
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Integrated circuits -- Verification
Computer hardware description languages
Note (General): Distributed to depository libraries in microfiche
Shipping list no.: 94-0081-M
Physical description for original version: 1 v
Note (Original Version): 原資料の出版事項: Hampton, Va. ; [Springfield, Va. : National Aeronautics and Space Administration, Langley Research Center : National Technical Information Service, distributor, 1993]
SUPTDOC番号: NAS 1.26: 191509
GPO管理番号: 0830-H-14 (MF)
Holding library: 国立国会図書館
Call No.: YCA-NAS 1.26:191509
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006590723
http://id.ndl.go.jp/bib/000006590723
OCLC No.: 30535433
https://www.worldcat.org/oclc/30535433
Bibliographic Record Category (NDL): 281