真野 芳久 | 電総研・ソフトウェア部
スポンサーリンク
概要
関連著者
著作論文
- 81-16 VAL言語 : その特徴解析
- 79-34 ジャクソン流プログラム設計法の形式化と分析
- 2.米国標準規格 (ANS) Fortran と Cobol
- 仕様及び表明用言SPECKAL
- 78-15 構文と変換を定義する記法としてのプロダクション・システム
- 77-43 記号テストおよび記号評価システム : DISSECT
- 77-29 モジュラ・マルチプログラミング言語Modula
- 77-03 プログラミング及びプログラミング・システムのー考察
- 構造的FORTRANプログラミング--入門と実践-1-アルゴリズムとプログラム,プログラムの正しさについて