国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(6)
1980年代
(15)
1990年代
(29)
2000年代
(51)
2010年代
(7)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(29)
雑誌
(72)
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(1)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(4)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(18)
紙
(88)
マイクロ
記録メディア
(1)
すべて解除
絞り込み条件
絞り込み条件
検索結果 106 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)
モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)
紙
図書
二木厚吉 著
サイエンス社
2017.9
<M159-L1326>
国立国会図書館
全国の図書館
証明スコア法に基づく革新的仕様検証システムの構築
証明スコア法に基づく革新的仕様検証システムの構築
デジタル
文書・図像類
二木, 厚吉
2016-05-18
科学研究費助成事業研究成果報告書
p.1-5
全国の図書館
振舞仕様に基づく問題モデルの構築と検証
振舞仕様に基づく問題モデルの構築と検証
紙
図書
二木厚吉, 北陸先端科学技術大学院大学 [著]
[二木厚吉]
2003-2005
<Y151-H15300007>
国立国会図書館
分散オブジエクト環境におけるコンポネント仕様の検証に関する研究
分散オブジエクト環境におけるコンポネント仕様の検証に関する研究
紙
図書
二木, 厚吉, 北陸先端科学技術大学院大学
1999-2002
<Y151-H11480067>
国立国会図書館
機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
紙
図書
二木, 厚吉, 北陸先端科学技術大学院大学
1998-2001
<Y151-H10558043>
国立国会図書館
並行書き換え抽象機械の研究
並行書き換え抽象機械の研究
紙
図書
二木, 厚吉, 北陸先端科学技術大学院大学
1995-1997
<Y151-H07458056>
国立国会図書館
証明スコアによる問題モデルの検証技術
証明スコアによる問題モデルの検証技術
デジタル
文書・図像類
二木, 厚吉
2010-04-10
科学研究費補助金研究成果報告書
p.1-4
全国の図書館
Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi
Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi
紙
図書
Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)
Springer
c2014
全国の図書館
法令対象ドメインの形式仕様と検証
法令対象ドメインの形式仕様と検証
デジタル
文書・図像類
二木, 厚吉, 緒方, 和博, 有本, 泰仁
2007-09-07
p.1-53
全国の図書館
振舞仕様に基づく問題モデルの構築と検証 = Construction and verification of problem models in behavioral specifications
振舞仕様に基づく問題モデルの構築と検証 = Construction and verification of problem models in behavioral specifications
紙
図書
研究代表者 二木厚吉
[二木厚吉]
2006.3
全国の図書館
COE Research Monograph Series, Vol. 2 : 法令工学の提案
COE Research Monograph Series, Vol. 2 : 法令工学の提案
デジタル
図書
片山, 卓也, 島津, 明, 東条, 敏, 二木, 厚吉, 緒方, 和博, 有本, 泰仁, 落水, 浩一郎, 早坂, 良
JAIST Press
2007-09
2
全国の図書館
分散オブジェクト環境におけるコンポネント仕様の検証に関する研究
分散オブジェクト環境におけるコンポネント仕様の検証に関する研究
紙
図書
研究代表者 二木厚吉
[二木厚吉]
2003.3
全国の図書館
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
紙
図書
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)
Springer
c2006
全国の図書館
機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
紙
図書
研究代表者 二木厚吉
[二木厚吉]
2002.3
全国の図書館
Software security : theories and systems : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers
Software security : theories and systems : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers
紙
図書
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)
Springer
c2004
全国の図書館
平行書き換え抽象機械の研究
平行書き換え抽象機械の研究
紙
図書
研究代表者 二木厚吉
[二木厚吉]
1998.3
全国の図書館
CAFE : an industrial-strength algebraic formal method
CAFE : an industrial-strength algebraic formal method
紙
図書
edited by K. Futatsugi, A. T. Nakagawa, T. Tamai
Elsevier
c2000
全国の図書館
ソフトウェアクリーンルーム手法 : 高品質ソフトウェア開発パラダイム
ソフトウェアクリーンルーム手法 : 高品質ソフトウェア開発パラダイム
紙
図書
二木厚吉 監修, 佐藤武久, 大槻繁, 金藤栄孝 著
日科技連出版社
1997.12
<M159-G1811>
国立国会図書館
全国の図書館
CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification
CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification
紙
図書
Răzvan Diaconescu, Kokichi Futatsugi
World Scientific
c1998
全国の図書館
ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)
ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)
紙
図書
産業技術総合研究所 (組込みシステム技術連携研究体) 編
産業技術総合研究所組込みシステム技術連携研究体
2012.1
<M159-J1528>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力