ソフトウェア工学の基礎〈2〉日本ソフトウェア科学会FOSE'95(レクチャーノートソフトウェア工学〈15〉) [全集叢書]
ショッピングカートに入れる

    • ソフトウェア工学の基礎〈2〉日本ソフトウェア科学会FOSE'95(レクチャーノートソフトウェア工学〈15〉) [全集叢書...

    • ￥3,524106 ゴールドポイント（3％還元）
    • 在庫あり2025年8月14日木曜日までにヨドバシエクストリームサービス便（無料）がお届け
ソフトウェア工学の基礎〈2〉日本ソフトウェア科学会FOSE'95(レクチャーノートソフトウェア工学〈15〉) [全集叢書]
100000009001669906

ソフトウェア工学の基礎〈2〉日本ソフトウェア科学会FOSE'95(レクチャーノートソフトウェア工学〈15〉) [全集叢書]

価格：￥3,524（税込）
ゴールドポイント：106 ゴールドポイント（3％還元）（￥106相当）
お届け日：在庫あり今すぐのご注文で、2025年8月14日木曜日までにヨドバシエクストリームサービス便（無料）がお届けします。［届け先変更］詳しくはこちら
出版社：近代科学社
販売開始日： 1996/01/20
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可
店舗受け取りが可能です
マルチメディアAkiba、マルチメディア梅田、マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました

お客様へのおすすめ【PR】

ソフトウェア工学の基礎〈2〉日本ソフトウェア科学会FOSE'95(レクチャーノートソフトウェア工学〈15〉) の 商品概要

  • 目次(「BOOK」データベースより）

    要求仕様データベースシステムの開発
    メタ階層に基づくモデルベースソフトウェア開発基盤の提案
    構文木の相互比較による複数バージョン比較分析方法の提案
    能動的部品における機能交換変化メカニズム
    複数の類似ドメインにおけるドメインモデルの洗練と再利用
    オブジェクト指向方法論のための動的モデルＯｂＴＳ
    実時間並行ソフトウェアの仕様記述とタイミング検証
    空間プロセス代数による近似解析
    形式的手法を用いた構造化ダイアグラムの一貫性検証
    プロセス制御のための状態遷移図とロジック図の整合性検証〔ほか〕

ソフトウェア工学の基礎〈2〉日本ソフトウェア科学会FOSE'95(レクチャーノートソフトウェア工学〈15〉) の商品スペック

商品仕様
出版社名：近代科学社
著者名：大蒔 和仁（編）／武市 正人（編）／米沢 明憲（編）
発行年月日：1996/01/20
ISBN-10：4764902532
ISBN-13：9784764902534
判型：B5
対象：専門
発行形態：全集叢書
内容：工学・工業総記
ページ数：230ページ
縦：26cm
他の近代科学社の書籍を探す

    近代科学社 ソフトウェア工学の基礎〈2〉日本ソフトウェア科学会FOSE'95(レクチャーノートソフトウェア工学〈15〉) [全集叢書] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！