トップページ
|
北陸先端科学技術大学院大学
|
附属図書館
全て
教員登録文献
詳細検索
一覧
コミュニティ
& コレクション
タイトル
著者
日付
学位論文
リサーチレポート・テクニカルメモランダム
登録利用者:
登録者ページ
利用者(E-people)
ヘルプ
当システムについて
JAIST Repository
>
著者: "KONDOH, HIDETAKA"
「一覧: 著者」画面に戻る
タイトル順ソート
日付順ソート
2 著者名表示.
発行日
タイトル
著者
15-Mar-2004
多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム)
金藤, 栄孝
;
二木, 厚吉
;
KONDOH, HIDETAKA
;
FUTATSUGI, KOKICHI
15-Sep-2004
有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論)
金藤, 栄孝
;
二木, 厚吉
;
KONDOH, HIDETAKA
;
FUTATSUGI, KOKICHI
お問い合わせ先 :
北陸先端科学技術大学院大学 研究推進課図書館情報係