高階書き換えシステムをもちいたプログラム検証法の研究
著者
書誌事項
高階書き換えシステムをもちいたプログラム検証法の研究
（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成7-9年度）
[外山芳人], 1998.3
- タイトル読み
-
コウカイ カキカエ システム オ モチイタ プログラム ケンショウホウ ノ ケンキュウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
研究課題番号:07680347