本 タイトル：形式手法 1人が登録 期間 まもなく 日 週 月 一覧 まもなく日週月一覧 表示形式 詳細 簡易 ライン グリッド 羅列 詳細簡易ライングリッド羅列 含める商品 電子書籍雑誌分冊・単話版除外アイテム 商品 電子書籍雑誌分冊・単話版除外アイテム 変更表示を変更 発売日2018-04-13 Event-B：リファインメント・モデリングに基づく形式手法 著者中島震/來間啓伸 出版社近代科学社 仕様文庫 発売日2018-03-23 抽象によるソフトウェア設計 ―Alloyではじめる形式手法 著者ＤａｎｉｅｌＪａｃｋｓｏｎ/中島震/今井健男/酒井政裕/遠藤侑介/片岡欣夫 出版社オーム社 仕様Kindle版 発売日2018-03-23 並行システムの検証と実装：形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座 著者磯部 祥尚/本位田 真一/東野 輝夫 出版社近代科学社 仕様Kindle版 発売日2016-04-28 Event-B : リファインメント・モデリングに基づく形式手法 著者來間 啓伸 中島 震 出版社近代科学社 仕様Kindle版 発売日2016-02-20 形式手法モデル理論アプローチ 実践編 ―情報システム開発の基礎 著者高原 康彦/齋藤 敏雄/旭 貴朗/柴 直樹/竹田 信夫/高木 徹 出版社日科技連出版社 仕様単行本（ソフトカバー） 発売日2016-02-20 形式手法モデル理論アプローチ モデル編 ―情報システム開発の基礎 著者高原 康彦/齋藤 敏雄/旭 貴朗/柴 直樹/竹田 信夫/高木 徹 出版社日科技連出版社 仕様単行本（ソフトカバー） 発売日2015-02-26 Event-B: リファインメント・モデリングに基づく形式手法 著者中島 震/來間 啓伸 出版社近代科学社 仕様単行本 発売日2013-04-27 手法論の射程――形式の自動生成 (磯崎新建築論集 第3巻) 著者日埜 直彦 出版社岩波書店 仕様単行本 発売日2012-12-26 並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座) 著者磯部 祥尚/東野 輝夫 出版社近代科学社 仕様単行本 発売日2012-11-02 形式手法教科書 (I・O BOOKS) 著者赤間 世紀 出版社工学社 仕様単行本 発売日2012-04-20 形式手法入門―ロジックによるソフトウェア設計― 著者中島 震 出版社オーム社 仕様単行本（ソフトカバー） 発売日2012-04-01 組み込みソフトへの数理的アプローチ―形式手法によるソフトウェアの仕様記述と検証 (COMPUTER TECHNOLOGY) 著者藤倉 俊幸 出版社CQ出版 仕様単行本 発売日2011-07-15 抽象によるソフトウェア設計−Alloyではじめる形式手法− 著者Daniel Jackson/中島 震/今井 健男/酒井 政裕/遠藤 侑介/片岡 欣夫 出版社オーム社 仕様単行本（ソフトカバー） 発売日2008-04-30 形式手法の技術講座―ソフトウェアトラブルを予防する 著者佐原 伸 出版社ソフトリサーチセンター 仕様単行本 発売日2007-11-30 形式手法モデル理論アプローチ―情報システム開発の基礎 著者高原 康彦/旭 貴朗/柴 直樹/齋藤 敏雄 出版社日科技連出版社 仕様単行本 2026年9月のカレンダー1日2日3日4日5日6日7日8日9日10日11日12日13日14日15日16日17日18日19日20日21日22日23日24日25日26日27日28日29日30日 関連キーワード ocaml 1人が登録 プロセス代数 1人が登録 モデル検査 1人が登録 組み込み 1人が登録 関数型言語 1人が登録 組込み 2人が登録 haskell 6人が登録関連キーワードをすべて表示
発売日2018-03-23 抽象によるソフトウェア設計 ―Alloyではじめる形式手法 著者ＤａｎｉｅｌＪａｃｋｓｏｎ/中島震/今井健男/酒井政裕/遠藤侑介/片岡欣夫 出版社オーム社 仕様Kindle版
発売日2018-03-23 並行システムの検証と実装：形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座 著者磯部 祥尚/本位田 真一/東野 輝夫 出版社近代科学社 仕様Kindle版
発売日2016-02-20 形式手法モデル理論アプローチ 実践編 ―情報システム開発の基礎 著者高原 康彦/齋藤 敏雄/旭 貴朗/柴 直樹/竹田 信夫/高木 徹 出版社日科技連出版社 仕様単行本（ソフトカバー）
発売日2016-02-20 形式手法モデル理論アプローチ モデル編 ―情報システム開発の基礎 著者高原 康彦/齋藤 敏雄/旭 貴朗/柴 直樹/竹田 信夫/高木 徹 出版社日科技連出版社 仕様単行本（ソフトカバー）
発売日2011-07-15 抽象によるソフトウェア設計−Alloyではじめる形式手法− 著者Daniel Jackson/中島 震/今井 健男/酒井 政裕/遠藤 侑介/片岡 欣夫 出版社オーム社 仕様単行本（ソフトカバー）
