レクチャーノート／ソフトウェア学<br> ソフトウェア工学の基礎〈２０〉日本ソフトウェア科学会ＦＯＳＥ　２０１３

個数：

レクチャーノート／ソフトウェア学
ソフトウェア工学の基礎〈２０〉日本ソフトウェア科学会ＦＯＳＥ　２０１３

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

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

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

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

目次

基調講演　記号とは何か―記号論と情報科学
１　ソフトウェア設計
２　ソフトウェア開発支援
３　メトリクス
４　プログラム解析
５　仕様・検証
６　形式手法
７　実証的ソフトウェア開発
８　モデル検査・テスト
９　デバッグ支援
１０　ソフトウェア開発プロセス
１１　モデル表現と変換
１２　ライブ論文

最近チェックした商品

The Diamond Sutra (Chin-Kang-Ching) or Prajna-Paramita
  • 洋書
The Diamond Sutra (…
『五輪書』の原典から読み解く武蔵“無敗”の技法 - 最重要文書『兵道鏡』『円明三十五ヶ条』の解読
  • 和書
『五輪書』の原典から読み解く武蔵“無敗…
Everafter 2 : The Unsentimental Education (Everafter)
  • 洋書
Everafter 2 : The U…
Police Administration （8 Revised）
  • 洋書
Police Administrati…
岸壁の波 現代小説の発見
  • 和書
岸壁の波 現代小説の発見