コレクションホームページ
0189 プログラムの基礎理論
11
0189 プログラムの基礎理論
11
(http://hdl.handle.net/2433/100780)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 11 / 11
書誌情報 | ファイル |
---|---|
表紙・目次 (1973-10) 数理解析研究所講究録, 189 | |
Two Formal Systems for Proving Assertions About Programs (プログラムの基礎理論) IGARASHI, SHIGERU (1973-10) 数理解析研究所講究録, 189: 2-6 | |
Some Remarks in General Theory of Flow-Charts (プログラムの基礎理論) HIROSE, KEN; OTANI, MAKOTO (1973-10) 数理解析研究所講究録, 189: 7-12 | |
On the Key Assertions (プログラムの基礎理論) TAKASU, SATORU (1973-10) 数理解析研究所講究録, 189: 13-37 | |
Gentzen-Style Formulation of Systems of Set-Calculus (プログラムの基礎理論) NISHIMURA, TOSHIO (1973-10) 数理解析研究所講究録, 189: 38-51 | |
Theorem-ProvingのProgram (プログラムの基礎理論) 西村, 敏男; 井出, 修; 大矢, 建正; 神居, 雅志 (1973-10) 数理解析研究所講究録, 189: 52-59 | |
Preparations for Formal Study of a Simple Program Including Floating-Point Arithmetic (プログラムの基礎理論) USHIJIMA, KAZUO (1973-10) 数理解析研究所講究録, 189: 60-69 | |
A Formal System of Programs (プログラムの基礎理論) KANAYAMA, YUTAKA (1973-10) 数理解析研究所講究録, 189: 70-81 | |
Data Typeの公理系 (プログラムの基礎理論) 伊藤, 貴康 (1973-10) 数理解析研究所講究録, 189: 82-88 | |
Computer Program Synthesis From Computation Traces (プログラムの基礎理論) BIERMANN, A.W. (1973-10) 数理解析研究所講究録, 189: 89-100 | |
Analysis of a Disk Operating System (プログラムの基礎理論) OKUI, JUN; TOKURA, NOBUKI; KASAMI, TADAO (1973-10) 数理解析研究所講究録, 189: 101-117 |
文献一覧(目次の昇順ソート): 1 - 11 / 11