HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
工学研究科  >
北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University >
No.81 >

プログラム停止性に関するある種の検証システム

フルテキスト
81_87-92.pdf237.99 kBPDF見る/開く
この文献へのリンクには次のURLを使用してください:http://hdl.handle.net/2115/41374

タイトル: プログラム停止性に関するある種の検証システム
その他のタイトル: A Verification Condition Generator System for Program Termination
著者: 浦崎, 道教 著作を一覧する
柳, 繁 著作を一覧する
新保, 勝 著作を一覧する
河口, 至商 著作を一覧する
発行日: 1976年 8月30日
出版者: 北海道大学 = Hokkaido University
誌名: 北海道大學工學部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University
巻: 81
開始ページ: 87
終了ページ: 91
資料タイプ: bulletin (article)
URI: http://hdl.handle.net/2115/41374
出現コレクション:No.81

 

本サイトに関するご意見・お問い合わせは repo at lib.hokudai.ac.jp へお願いします。 - 北海道大学