Defining the IEEE-854 Floating-Point Standard in PVS NASA-TM-110167 N95-29823

Defining the IEEE-854 Floating-Point Standard in PVS

NASA-TM-110167 N95-29823

Call No. (NDL): LS-N95/29823
Bibliographic ID of National Diet Library: 000005519609

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

Author: -

Publisher: -

Publication date: 1995

Material Format: Microform

Capacity, size, etc.: 24 p. (1 microfiche)

NDC: -

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.

Microform

Material Type: 規格・テクニカルリポート類
Title: Defining the IEEE-854 Floating-Point Standard in PVS
Publication Date: 1995
Publication Date (W3CDTF): 1995
Extent: 24 p. (1 microfiche)
Note (Material Type): [microform]
Report No.: テクニカルリポート番号 : NASA-TM-110167
テクニカルリポート番号 : N95-29823
Holding library: 国立国会図書館
Call No.: LS-N95/29823
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000005519609
http://id.ndl.go.jp/bib/000005519609
Bibliographic Record Category (NDL): 291