形式手法

【中古】形式手法の技術講座 ソフトウェアトラブルを予防する /ソフト リサ-チ センタ-/佐原伸（単行本）【中古】形式手法モデル理論アプロ-チ 情報システム開発の基礎 /日科技連出版社/高原康彦（単行本）【中古】 形式手法モデル理論アプローチ 情報システム開発の基礎 / 高原 康彦 / 日科技連出版社 単行本 【ネコポス発送】形式手法の技術講座―ソフトウェアトラブルを予防する 佐原 伸【中古】 形式手法の技術講座 ソフトウェアトラブルを予防する / 佐原 伸 / ソフトリサーチセンター 単行本 【ネコポス発送】組み込みソフトへの数理的アプローチ—形式手法によるソフトウェアの仕様記述と検証 (COMPUTER TECHNOLOGY) 藤倉 俊幸形式手法モデル理論アプローチ 情報システム開発の基礎 実践編／高原康彦／齋藤敏雄／旭貴朗【1000円以上送料無料】Event-B: リファインメント モデリングに基づく形式手法 単行本 震， 中島 啓伸， 來間並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 （トップエスイー実践講座） 磯部祥尚【中古】 形式手法モデル理論アプローチ 情報システム開発の基礎 / 高原 康彦 / 日科技連出版社 単行本 【メール便送料無料】【あす楽対応】形式手法モデル理論アプローチ（モデル編）第2版 情報システム開発の基礎 高原康彦形式手法の技術講座 ソフトウェアトラブルを予防する形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編／高原康彦／齋藤敏雄／旭貴朗【3000円以上送料無料】形式手法モデル理論アプローチ（実践編）第2版 情報システム開発の基礎 高原康彦形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編【中古】 形式手法モデル理論アプローチ 情報システム開発の基礎 / 高原 康彦 / 日科技連出版社 単行本 【宅配便出荷】【中古】抽象によるソフトウェア設計 Alloyではじめる形式手法【中古】 形式手法の技術講座 ソフトウェアトラブルを予防する / 佐原 伸 / ソフトリサーチセンター 単行本 【メール便送料無料】【あす楽対応】【中古】 形式手法の技術講座 ソフトウェアトラブルを予防する / 佐原 伸 / ソフトリサーチセンター 単行本 【宅配便出荷】形式手法教科書 「論理学」を用いた 「ソフト工学」への数学的アプロ （I／O books） 赤間世紀

【中古】形式手法の技術講座 ソフトウェアトラブルを予防する /ソフト・リサ-チ・センタ-/佐原伸（単行本）

ショップ VALUE BOOKS
価格 ￥999 
商品の詳細ページへ(楽天市場)
 

商品の説明

  • ◆◆◆非常にきれいな状態です。中古商品のため使用感等ある場合がございますが、品質には十分注意して発送いたします。 【毎日発送】 商品状態 著者名 佐原伸 出版社名 ソフト・リサ−チ・センタ− 発売日 2008年04月 ISBN 9784883732586

    • 【中古】形式手法モデル理論アプロ-チ 情報システム開発の基礎 /日科技連出版社/高原康彦（単行本）

    ショップ VALUE BOOKS
    価格 ￥975 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • ◆◆◆おおむね良好な状態です。中古商品のため若干のスレ、日焼け、使用感等ある場合がございますが、品質には十分注意して発送いたします。 【毎日発送】 商品状態 著者名 高原康彦 出版社名 日科技連出版社 発売日 2007年11月 ISBN 9784817192455

    • 【中古】 形式手法モデル理論アプローチ 情報システム開発の基礎 / 高原 康彦 / 日科技連出版社 [単行本]【ネコポス発送】

    ショップ もったいない本舗　お急ぎ便店
    価格 ￥960 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者：高原 康彦出版社：日科技連出版社サイズ：単行本ISBN-10：4817192453ISBN-13：9784817192455■通常24時間以内に出荷可能です。■ネコポスで送料は1～3点で298円、4点で328円。5点以上で600円からとなります。※2,500円以上の購入で送料無料。※多数ご購入頂いた場合は、宅配便での発送になる場合があります。■ただいま、オリジナルカレンダーをプレゼントしております。■送料無料の「もったいない本舗本店」もご利用ください。メール便送料無料です。■まとめ買いの方は「もったいない本舗　おまとめ店」がお買い得です。■中古品ではございますが、良好なコンディションです。決済はクレジットカード等、各種決済方法がご利用可能です。■万が一品質に不備が有った場合は、返金対応。■クリーニング済み。■商品画像に「帯」が付いているものがありますが、中古品のため、実際の商品には付いていない場合がございます。■商品状態の表記につきまして・非常に良い：　　使用されてはいますが、　　非常にきれいな状態です。　　書き込みや線引きはありません。・良い：　　比較的綺麗な状態の商品です。　　ページやカバーに欠品はありません。　　文章を読むのに支障はありま...

    • 形式手法の技術講座―ソフトウェアトラブルを予防する 佐原 伸

    ショップ 参考書専門店 ブックスドリーム
    価格 ￥1,899 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 【30日間返品保証】商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。ご満足のいく取引となるよう精一杯対応させていただきます。※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。【インボイス制度対応済み】当社ではインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。また、適格請求書発行事業者番号の入った領収書・請求書をご注文履歴からダウンロードして頂くこともできます（宛名はご希望のものを入力して頂けます）。■商品名■形式手法の技術講座―ソフトウェアトラブルを予防する 佐原 伸■出版社■ソフトリサーチセンター■著者■佐原 伸■発行年■2008/05■ISBN10■4883732584■ISBN13■9784883732586■コンディションランク■良いコンディションランク説明ほぼ新品：未使用に近い状態の商品非常に良い：傷や汚れが少なくきれいな状態の商品良い：多少の傷...

    • 【中古】 形式手法の技術講座 ソフトウェアトラブルを予防する / 佐原 伸 / ソフトリサーチセンター [単行本]【ネコポス発送】

    ショップ もったいない本舗　お急ぎ便店
    価格 ￥938 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者：佐原 伸出版社：ソフトリサーチセンターサイズ：単行本ISBN-10：4883732584ISBN-13：9784883732586■通常24時間以内に出荷可能です。■ネコポスで送料は1～3点で298円、4点で328円。5点以上で600円からとなります。※2,500円以上の購入で送料無料。※多数ご購入頂いた場合は、宅配便での発送になる場合があります。■ただいま、オリジナルカレンダーをプレゼントしております。■送料無料の「もったいない本舗本店」もご利用ください。メール便送料無料です。■まとめ買いの方は「もったいない本舗　おまとめ店」がお買い得です。■中古品ではございますが、良好なコンディションです。決済はクレジットカード等、各種決済方法がご利用可能です。■万が一品質に不備が有った場合は、返金対応。■クリーニング済み。■商品画像に「帯」が付いているものがありますが、中古品のため、実際の商品には付いていない場合がございます。■商品状態の表記につきまして・非常に良い：　　使用されてはいますが、　　非常にきれいな状態です。　　書き込みや線引きはありません。・良い：　　比較的綺麗な状態の商品です。　　ページやカバーに欠品はありません。　　文章を読むのに支障は...

    • 組み込みソフトへの数理的アプローチ—形式手法によるソフトウェアの仕様記述と検証 (COMPUTER TECHNOLOGY) 藤倉 俊幸

    ショップ 参考書専門店 ブックスドリーム
    価格 ￥5,007 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 【30日間返品保証】商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。ご満足のいく取引となるよう精一杯対応させていただきます。※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。【インボイス制度対応済み】当社ではインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。また、適格請求書発行事業者番号の入った領収書・請求書をご注文履歴からダウンロードして頂くこともできます（宛名はご希望のものを入力して頂けます）。■商品名■組み込みソフトへの数理的アプローチ―形式手法によるソフトウェアの仕様記述と検証 (COMPUTER TECHNOLOGY)■出版社■CQ出版■著者■藤倉 俊幸■発行年■2012/04/01■ISBN10■4789838080■ISBN13■9784789838085■コンディションランク■良いコンディションランク説明ほぼ新品：未使用に近い状態の商品非常に良い：傷や汚れが少なくき...

    • 形式手法モデル理論アプローチ 情報システム開発の基礎 実践編／高原康彦／齋藤敏雄／旭貴朗【1000円以上送料無料】

    ショップ bookfan 2号店 楽天市場店
    価格 ￥2,420 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者高原康彦(著) 齋藤敏雄(著) 旭貴朗(著)出版社日科技連出版社発売日2016年02月ISBN9784817195739ページ数147Pキーワードけいしきしゆほうもでるりろんあぷろーちじつせんへん ケイシキシユホウモデルリロンアプローチジツセンヘン たかはら やすひこ さいとう タカハラ ヤスヒコ サイトウ9784817195739内容紹介「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。2007年に刊行された『形式手法モデル理論アプローチ—情報システム開発の基礎』の改訂第2版。※本データはこの商品が発売された時点の情報です。目次第5章 システム開発環境を実現する（言語CAST（Computer Acceptable Set Theory）/言語CASTの解説およびMTA‐SDKの所在/開発実行環境の入手と設置/MTA‐SDKクイックスタート/システム開発環境の操作）/第6章 問題解決システムを開発する（問題解決システム/狼、山羊、キャベツの川渡し問題/水差し問題/巡回セールスマン問題）/第7章 業務処理システムを開発する（業務処理システム/業務処理システムのモデル/業...

    • Event-B: リファインメント・モデリングに基づく形式手法 [単行本] 震， 中島; 啓伸， 來間

    ショップ 参考書専門店 ブックスドリーム
    価格 ￥3,599 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 【30日間返品保証】商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。ご満足のいく取引となるよう精一杯対応させていただきます。※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。【インボイス制度対応済み】当社ではインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。また、適格請求書発行事業者番号の入った領収書・請求書をご注文履歴からダウンロードして頂くこともできます（宛名はご希望のものを入力して頂けます）。■商品名■Event-B: リファインメント・モデリングに基づく形式手法■出版社■近代科学社■著者■震 中島■発行年■2015/02/26■ISBN10■4764904241■ISBN13■9784764904248■コンディションランク■非常に良いコンディションランク説明ほぼ新品：未使用に近い状態の商品非常に良い：傷や汚れが少なくきれいな状態の商品良い：多少の傷や汚れが...

    • 並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 （トップエスイー実践講座） [ 磯部祥尚 ]

    ショップ 楽天ブックス
    価格 ￥5,060 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座 磯部祥尚 東野輝夫 近代科学社BKSCPN_【高額商品】 ヘイコウ システム ノ ケンショウ ト ジッソウ イソベ,ヨシナオ ヒガシノ,テルオ 発行年月：2012年12月 ページ数：361p サイズ：全集・双書 ISBN：9784764904354 東野輝夫（ヒガシノテルオ） 1984年大阪大学大学院基礎工学研究科博士後期課程修了、工学博士。大阪大学助手。現在、大阪大学大学院情報科学研究科教授。並行分散システム、モバイル・コンピューティングなどに関する研究に従事 磯部祥尚（イソベヨシナオ） 1992年芝浦工業大学大学院電気工学専攻修士課程修了。通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員・北陸先端科学技術大学院大学客員准教授、工学博士。形式手法による並行システムの検証に関する研究に従事（本データはこの書籍が刊行された当時に掲載されていたものです） 第1章　CSP、FDR、JCSP概論／第2章　CSP入門／第3章　FDR入門／第4章　JCSP入門／第5章　CSP理論（動作表現）／第6章　CSP理論（動作解析）／第7章　FDR検証／第8章　JCSP実装／第9章　CSP、FDR、JCSP応用...

    • 【中古】 形式手法モデル理論アプローチ 情報システム開発の基礎 / 高原 康彦 / 日科技連出版社 [単行本]【メール便送料無料】【あす楽対応】

    ショップ もったいない本舗　楽天市場店
    価格 ￥960 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者：高原 康彦出版社：日科技連出版社サイズ：単行本ISBN-10：4817192453ISBN-13：9784817192455■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注文数が多い日につきましては　発送まで48時間かかる場合があります。あらかじめご了承ください。 ■メール便は、1冊から送料無料です。※宅配便の場合、2,500円以上送料無料です。※あす楽ご希望の方は、宅配便をご選択下さい。※「代引き」ご希望の方は宅配便をご選択下さい。※配送番号付きのゆうパケットをご希望の場合は、追跡可能メール便（送料210円）をご選択ください。■ただいま、オリジナルカレンダーをプレゼントしております。■お急ぎの方は「もったいない本舗　お急ぎ便店」をご利用ください。最短翌日配送、手数料298円から■まとめ買いの方は「もったいない本舗　おまとめ店」がお買い得です。■中古品ではございますが、良好なコンディションです。決済は、クレジットカード、代引き等、各種決済方法がご利用可能です。■万が一品質に不備が有った場合は、返金対応。■クリーニング済み。■商品画像に「帯」が付いているものがありますが、中古品のため、実際の商品には付いていない場合がございます。■商品状...

    • 形式手法モデル理論アプローチ（モデル編）第2版 情報システム開発の基礎 [ 高原康彦 ]

    ショップ 楽天ブックス
    価格 ￥2,420 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 情報システム開発の基礎 高原康彦 齋藤敏雄 日科技連出版社ケイシキ シュホウ モデル リロン アプローチ タカハラ,ヤスヒコ サイトウ,トシオ 発行年月：2016年02月 ページ数：151p サイズ：単行本 ISBN：9784817195722 高原康彦（タカハラヤスヒコ） 東京工業大学名誉教授 齋藤敏雄（サイトウトシオ） 日本大学生産工学部教授 旭貴朗（アサヒタカオ） 東洋大学経営学部教授 柴直樹（シバナオキ） 日本大学生産工学部教授 竹田信夫（チクダノブオ） 中央大学商学部准教授 高木徹（タカギトオル） 千葉工業大学社会システム科学部助教（本データはこの書籍が刊行された当時に掲載されていたものです） 第1章　論理的に考える（命題論理／述語論理）／第2章　集合で記述する（集合の表現とその記法／リスト／集合の演算／関係／同値関係／順序関係／関数）／第3章　オートマトンでモデル化する（オートマトン（200円商品自動販売機）／オートマトンの例（状態がシンボルの場合）／モデル化の実際（状態が数値の場合）／オートマトンの動作と物理実現）／第4章　関係データベースでモデル化する（データベースとは／データベース設計／データベースの構築と操作） 「論理トレー...

    • 形式手法の技術講座 ソフトウェアトラブルを予防する

    ショップ ぐるぐる王国　楽天市場店
    価格 ￥2,530 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 佐原伸／著ソフトウェアトラブルを予防する本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名ソフト・リサーチ・センター出版年月2008年04月サイズ195P 21cmISBNコード9784883732586コンピュータ プログラミング 開発技法商品説明形式手法の技術講座 ソフトウェアトラブルを予防するケイシキ シユホウ ノ ギジユツ コウザ ソフトウエア トラブル オ ヨボウ スル※ページ内の情報は告知なく変更になることがあります。あらかじめご了承ください登録日2013/04/03

    • 形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編／高原康彦／齋藤敏雄／旭貴朗【3000円以上送料無料】

    ショップ bookfan 1号店 楽天市場店
    価格 ￥2,420 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者高原康彦(著) 齋藤敏雄(著) 旭貴朗(著)出版社日科技連出版社発売日2016年02月ISBN9784817195722ページ数151Pキーワードけいしきしゆほうもでるりろんあぷろーちもでるへんじ ケイシキシユホウモデルリロンアプローチモデルヘンジ たかはら やすひこ さいとう タカハラ ヤスヒコ サイトウ9784817195722内容紹介「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。2007年に刊行された『形式手法モデル理論アプローチ—情報システム開発の基礎』の改訂第2版。※本データはこの商品が発売された時点の情報です。目次第1章 論理的に考える（命題論理/述語論理）/第2章 集合で記述する（集合の表現とその記法/リスト/集合の演算/関係/同値関係/順序関係/関数）/第3章 オートマトンでモデル化する（オートマトン（200円商品自動販売機）/オートマトンの例（状態がシンボルの場合）/モデル化の実際（状態が数値の場合）/オートマトンの動作と物理実現）/第4章 関係データベースでモデル化する（データベースとは/データベース設...

    • 形式手法モデル理論アプローチ（実践編）第2版 情報システム開発の基礎 [ 高原康彦 ]

    ショップ 楽天ブックス
    価格 ￥2,420 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 情報システム開発の基礎 高原康彦 齋藤敏雄 日科技連出版社ケイシキ シュホウ モデル リロン アプローチ タカハラ,ヤスヒコ サイトウ,トシオ 発行年月：2016年02月 ページ数：147p サイズ：単行本 ISBN：9784817195739 高原康彦（タカハラヤスヒコ） 東京工業大学名誉教授 齋藤敏雄（サイトウトシオ） 日本大学生産工学部教授 旭貴朗（アサヒタカオ） 東洋大学経営学部教授 柴直樹（シバナオキ） 日本大学生産工学部教授 竹田信夫（チクダノブオ） 中央大学商学部准教授 高木徹（タカギトオル） 千葉工業大学社会システム科学部助教（本データはこの書籍が刊行された当時に掲載されていたものです） 第5章　システム開発環境を実現する（言語CAST（Computer　Acceptable　Set　Theory）／言語CASTの解説およびMTAーSDKの所在／開発実行環境の入手と設置／MTAーSDKクイックスタート／システム開発環境の操作）／第6章　問題解決システムを開発する（問題解決システム／狼、山羊、キャベツの川渡し問題／水差し問題／巡回セールスマン問題）／第7章　業務処理システムを開発する（業務処理システム／業務処理システムのモデル／業務処理システムの開発／開発例1：書店売掛管...

    • 形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編

    ショップ ぐるぐる王国　楽天市場店
    価格 ￥2,420 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 高原康彦／著 齋藤敏雄／著 旭貴朗／著 柴直樹／著 竹田信夫／著 高木徹／著本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名日科技連出版社出版年月2016年02月サイズ151P 21cmISBNコード9784817195722工学 経営工学 経営数学商品説明形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編ケイシキ シユホウ モデル リロン アプロ-チ モデルヘン ジヨウホウ システム カイハツ ノ キソ※ページ内の情報は告知なく変更になることがあります。あらかじめご了承ください登録日2016/02/24

    • 【中古】 形式手法モデル理論アプローチ 情報システム開発の基礎 / 高原 康彦 / 日科技連出版社 [単行本]【宅配便出荷】

    ショップ もったいない本舗　おまとめ店
    価格 ￥910 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者：高原 康彦出版社：日科技連出版社サイズ：単行本ISBN-10：4817192453ISBN-13：9784817192455■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注文数が多い日につきましては　発送まで72時間かかる場合があります。あらかじめご了承ください。■宅配便(送料398円)にて出荷致します。合計3980円以上は送料無料。■ただいま、オリジナルカレンダーをプレゼントしております。■送料無料の「もったいない本舗本店」もご利用ください。メール便送料無料です。■お急ぎの方は「もったいない本舗　お急ぎ便店」をご利用ください。最短翌日配送、手数料298円から■中古品ではございますが、良好なコンディションです。決済はクレジットカード等、各種決済方法がご利用可能です。■万が一品質に不備が有った場合は、返金対応。■クリーニング済み。■商品画像に「帯」が付いているものがありますが、中古品のため、実際の商品には付いていない場合がございます。■商品状態の表記につきまして・非常に良い：　　使用されてはいますが、　　非常にきれいな状態です。　　書き込みや線引きはありません。・良い：　　比較的綺麗な状態の商品です。　　ページやカバーに欠品はありま...

    • 【中古】抽象によるソフトウェア設計?Alloyではじめる形式手法?

    ショップ IINEX
    価格 ￥12,786 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 【中古】抽象によるソフトウェア設計?Alloyではじめる形式手法?【メーカー名】【メーカー型番】【ブランド名】【商品説明】抽象によるソフトウェア設計?Alloyではじめる形式手法?こちらの商品は中古品となっております。 画像はイメージ写真ですので 商品のコンディション・付属品の有無については入荷の度異なります。 買取時より付属していたものはお付けしておりますが付属品や消耗品に保証はございません。 商品ページ画像以外の付属品はございませんのでご了承下さいませ。 中古品のため使用に影響ない程度の使用感・経年劣化（傷、汚れなど）がある場合がございます。 また、中古品の特性上ギフトには適しておりません。 当店では初期不良に限り 商品到着から7日間は返品を受付けております。 他モールとの併売品の為 完売の際はご連絡致しますのでご了承ください。 プリンター・印刷機器のご注意点 インクは配送中のインク漏れ防止の為、付属しておりませんのでご了承下さい。 ドライバー等ソフトウェア・マニュアルはメーカーサイトより最新版のダウンロードをお願い致します。 ゲームソフトのご注意点 特典・付属品・パッケージ・プロダクトコード・ダウンロード...

    • 【中古】 形式手法の技術講座 ソフトウェアトラブルを予防する / 佐原 伸 / ソフトリサーチセンター [単行本]【メール便送料無料】【あす楽対応】

    ショップ もったいない本舗　楽天市場店
    価格 ￥938 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者：佐原 伸出版社：ソフトリサーチセンターサイズ：単行本ISBN-10：4883732584ISBN-13：9784883732586■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注文数が多い日につきましては　発送まで48時間かかる場合があります。あらかじめご了承ください。 ■メール便は、1冊から送料無料です。※宅配便の場合、2,500円以上送料無料です。※あす楽ご希望の方は、宅配便をご選択下さい。※「代引き」ご希望の方は宅配便をご選択下さい。※配送番号付きのゆうパケットをご希望の場合は、追跡可能メール便（送料210円）をご選択ください。■ただいま、オリジナルカレンダーをプレゼントしております。■お急ぎの方は「もったいない本舗　お急ぎ便店」をご利用ください。最短翌日配送、手数料298円から■まとめ買いの方は「もったいない本舗　おまとめ店」がお買い得です。■中古品ではございますが、良好なコンディションです。決済は、クレジットカード、代引き等、各種決済方法がご利用可能です。■万が一品質に不備が有った場合は、返金対応。■クリーニング済み。■商品画像に「帯」が付いているものがありますが、中古品のため、実際の商品には付いていない場合がございます。■...

    • 【中古】 形式手法の技術講座 ソフトウェアトラブルを予防する / 佐原 伸 / ソフトリサーチセンター [単行本]【宅配便出荷】

    ショップ もったいない本舗　おまとめ店
    価格 ￥888 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者：佐原 伸出版社：ソフトリサーチセンターサイズ：単行本ISBN-10：4883732584ISBN-13：9784883732586■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注文数が多い日につきましては　発送まで72時間かかる場合があります。あらかじめご了承ください。■宅配便(送料398円)にて出荷致します。合計3980円以上は送料無料。■ただいま、オリジナルカレンダーをプレゼントしております。■送料無料の「もったいない本舗本店」もご利用ください。メール便送料無料です。■お急ぎの方は「もったいない本舗　お急ぎ便店」をご利用ください。最短翌日配送、手数料298円から■中古品ではございますが、良好なコンディションです。決済はクレジットカード等、各種決済方法がご利用可能です。■万が一品質に不備が有った場合は、返金対応。■クリーニング済み。■商品画像に「帯」が付いているものがありますが、中古品のため、実際の商品には付いていない場合がございます。■商品状態の表記につきまして・非常に良い：　　使用されてはいますが、　　非常にきれいな状態です。　　書き込みや線引きはありません。・良い：　　比較的綺麗な状態の商品です。　　ページやカバーに欠品は...

    • 形式手法教科書 「論理学」を用いた、「ソフト工学」への数学的アプロ （I／O　books） [ 赤間世紀 ]

    ショップ 楽天ブックス
    価格 ￥2,750 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 「論理学」を用いた、「ソフト工学」への数学的アプロ I／O　books 赤間世紀 工学社ケイシキ シュホウ キョウカショ アカマ,セイキ 発行年月：2012年11月 ページ数：223p サイズ：単行本 ISBN：9784777517237 赤間世紀（アカマセイキ） 1984年東京理科大学理工学部経営工学科卒業。富士通株式会社入社。1990年工学博士（慶應義塾大学）。1993〜2006年帝京平成大学情報システム学科講師。2006年〜シー・リパブリックアドバイザー。2008〜2010年筑波大学大学院システム情報工学研究科客員教授（本データはこの書籍が刊行された当時に掲載されていたものです） 第1章　序論／第2章　古典論理／第3章　非古典論理／第4章　「時相論理」と「ダイナミック・ロジック」／第5章　仕様記述言語「Z」／第6章　形式手法の課題 「形式手法」の基礎をできるだけ分かりやすく解説するため、まず理論的基礎である「古典論理」と「様相論理」を説明してから、「形式手法」に使われているさまざまな「非古典論理」と「仕様記述言語」を紹介。「ソフト開発者」に必須の知識を、一般的な「プログラマー」にもわかりやすく解説。 本 パソコン・システム開発 その他
    • キーワード検索
    1.  
    最近検索されたキーワード
    16cm フルレンジ / 単３乾電池 / ネックレス ケース パール / ゴールドジム ベルト / 夏川椎菜 パレイド / 襟付き カットソー / フルーツバスケット another / カゼインプロテイン 1kg / yell/じょいふる / 薬用冷蔵 / 手首 サポーター シリコン / pumpkin scissors / バーガンディー / 東武鉄道のしくみ / diesel 腕時計 ゴールド / meetup / CA4LA メンズ / プレートコンパクター / ショック やっぱりあぶない電磁波 / ヒステリックミニ / 山形牛 / au 機種変 / 魔導合金 デモンベイン / ハローキティジェット / 双眼実体顕微鏡
    ピックアップ キーワード
    キャンディーズ その気にさせないで / スコップ 雪かき / グレー / A.B.C-Z DVD / 指原莉乃 / zara / macbook pro 15 ケース / snsd genie / epson direct / リボルテック 真田幸村 / イッタラ ティーマ 21cm プレート / ホンダ フィットシャトル 新車 / SMAP CD / 恵方巻き 節分 / hdd 2tb 内蔵 / プリンシー / プーさん クッション / gift of smap DVD / 渡辺麻友 CD / パナソニック GF3 / 真野恵里菜シングルVクリップス 2 / セシルマクビー バッグ / ムートンブーツ リボン / オーナーズホース 蛯名 / 出産祝い
    リンク
    Amazon.co.jp
    楽天市場
    楽天オークション
    Amazon Web Services
    Supported by 楽天ウェブサービス

    上に戻る