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

販売休止中です

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

    • ￥3,20497 ゴールドポイント（3％還元）
ソフトウェア工学の基礎〈1〉日本ソフトウェア科学会FOSE'94(レクチャーノートソフトウェア学〈14〉) [全集叢書]

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

価格：￥3,204（税込）
ゴールドポイント：97 ゴールドポイント（3％還元）（￥97相当）
日本全国配達料金無料
出版社：近代科学社
販売開始日： 1996/01/20
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

  • 販売休止中です

お気に入りに登録する

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

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

  • 要旨(「BOOK」データベースより）

    本書は、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第１回ワークショップ（ＦＯＳＥ’９４）で発表された論文の報告集。

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

    仕様に基づく報品再利用法とその適用
    代数的仕様の解析・検証・変換のための視覚的支援環境
    ＣａｆｅＯＢＪによるＺ仕様の検証支援
    フィールド指向言語Ｆｌａｇｅ
    受信者数を考慮したブロードキャストシステムのためのプロセス代数
    オブジェクト指向言語におけるクラス集合型検査
    スライシング技法の応用によるプログラムの検証法
    高レベルペトリネットに基づく形式的なオブジェクト指向設計モデル
    プロセスモデルＨＦＳＰにおける実行状態の動的制御の基礎
    Ｔｒｉａｄｉｃ　Ｄｏｍａｉｎ　Ｍｏｄｅｌに基づくシステムの分析・設計〔ほか〕

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

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

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

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