Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit. Final Report NASA-CR-187547 N91-28777 NAS-126187547

Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit. Final Report

NASA-CR-187547 N91-28777 NAS-126187547

Call No. (NDL): LS-N91/28777
Bibliographic ID of National Diet Library: 000004950857

Material type: 規格・テクニカルリポート類

Author: Pan, Jほか

Publisher: -

Publication date: -

Material Format: Microform

Capacity, size, etc.: microfiche 110 p

NDC: -

View All

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: Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit. Final Report
Author/Editor: Pan, J
Levitt, K. N
Cohen, G. C
Extent: microfiche 110 p
Note (Material Type): [microform]
Report No.: テクニカルリポート番号 : NASA-CR-187547
テクニカルリポート番号 : N91-28777
テクニカルリポート番号 : NAS-126187547
Holding library: 国立国会図書館
Call No.: LS-N91/28777
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004950857
http://id.ndl.go.jp/bib/000004950857
Bibliographic Record Category (NDL): 291