Jump to main content
図書

Studies on program synthesis : 計算機構の数学的研究とプログラムの正当性の検証システムの開発

Icons representing 図書

Studies on program synthesis : 計算機構の数学的研究とプログラムの正当性の検証システムの開発

Call No. (NDL)
Y151-S00246003
Bibliographic ID of National Diet Library
000007048248
Material type
図書
Author
高須, 達, 京都大学
Publisher
-
Publication date
1977-1979
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

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 Transcription
Studies on program synthesis
Author/Editor
高須, 達, 京都大学
Author Heading
高須, 達 タカス, サトル
Publication Date
1977-1979
Publication Date (W3CDTF)
1977
Extent
Additional Title
研究種目 一般研究(B)
NDLC