レクチャーノート／ソフトウェア学<br> ソフトウェア工学の基礎〈５〉日本ソフトウェア科学会ＦＯＳＥ’９８

個数：
  • ポイントキャンペーン

レクチャーノート／ソフトウェア学
ソフトウェア工学の基礎〈５〉日本ソフトウェア科学会ＦＯＳＥ’９８

  • 出版社からのお取り寄せとなります。
    入荷までにおよそ1～3週間程度かかります。
    ※商品によっては、品切れ等で入手できない場合がございます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【出荷までの期間】
    ■通常、およそ1～3週間程度

    【ご注意事項】 ※必ずお読みください
    ◆上記期間よりも日数がかかる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆品切れ・絶版等により入手できない場合がございます。
    ◆品切れ・絶版等の確認に2週間以上かかる場合がございます。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
    ◆別冊解答などの付属品はお付けできない場合がございます。
  • ◆店舗受取サービスはご利用いただけません。

    ●3Dセキュア導入とクレジットカードによるお支払いについて
  • サイズ B5判／ページ数 218p／高さ 26cm
  • 商品コード 9784764902701
  • NDC分類 007.63
  • Cコード C3350

内容説明

本書は、１９９８年１１月に滋賀県守山市で開催される、ＦＯＳＥの第５回ワークショップ（ＦＯＳＥ’９８）の論文集であり、招待講演論文と厳正な審査によって採択された２６編の論文から成っている。

目次

招待講演　ソフトウェア研究と産学連携―戦略性を持とう！（大野豊）
形式的手法
開発支援
形式的アプローチ
開発手法
仕様記述
処理系

最近チェックした商品

Bio-Inspired Optimization for Medical Data Mining
  • 洋書
Bio-Inspired Optimi…
サターンボンバーマンファイト！！公式パーフェクトプログラム 高橋書店ゲーム攻略本シリーズ
  • 和書
サターンボンバーマンファイト！！公式パ…
中学校新教育課程の解説 〈保健体育〉
  • 和書
中学校新教育課程の解説 〈保健体育〉
オオカミ - 神話から現実へ
  • 和書
オオカミ - 神話から現実へ
Ｌｉｆｅ・ｓｗｉｔｃｈ 〈２〉 いち・ラキ・コミックス
  • 和書
Ｌｉｆｅ・ｓｗｉｔｃｈ 〈２〉 いち・…