Approaches to Improved Program Validation through Programming Language Design RAND/P-4865

Approaches to Improved Program Validation through Programming Language Design

RAND/P-4865

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: 規格・テクニカルリポート類
Title: Approaches to Improved Program Validation through Programming Language Design
Author/Editor: Kosy, D. W
Publication Date: 1972
Publication Date (W3CDTF): 1972
Extent: 25 p
Report No.: テクニカルリポート番号 : RAND/P-4865
Holding library: 国立国会図書館
Call No.: M-RAND/P-4865
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000005551102
http://id.ndl.go.jp/bib/000005551102
Bibliographic Record Category (NDL): 291