ソフトウェア シヨウ キジュツ ノ センシン ギホウ Z ゲンゴ
ソフトウェア仕様記述の先進技法-Z言語 / B. ポター, J.シンクレア, D.ティル著 ; 田中武二監訳
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : トッパン |
| 出版年 | 1993.9 |
| 本文言語 | 日本語 |
| 大きさ | xiv, 321p ; 21cm |
所蔵情報を非表示
1
秋田公立美術大学
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 予約 | 指定図書 |
|---|---|---|---|---|---|---|---|---|---|---|
| 閉架書庫 |
|
007.64 || So24 | 0046010 |
|
481018563X | 1993 |
|
|
書誌詳細を非表示
| 別書名 | 原タイトル:An introduction to formal specification and Z |
|---|---|
| 一般注記 | 参考文献: p311-313 |
| 著者標目 | Potter, Ben Sinclair, Jane Till, David 田中, 武二 監訳 <タナカ, タケジ> |
| 件 名 | BSH:電子計算機 |
| 分 類 | NDC8:007.63 NDC7:418.6 |
| 書誌ID | 2000003681 |
| ISBN | 481018563X |
| NCID | BN09833215 |
類似資料
-
1
CASE決定版 / 竹下亨著
-
2
ソフトウェア通論 / 佐々木秀夫監修 ; ソフトウェア研究会著 1,2
-
3
UNIX原典 : AT&Tベル研のUNIX開発者自身によるUNIX公式解説書 / AT&Tベル研究所編 ; 長谷部紀元, 清水謙多郎訳 ; 石田晴久監修
-
4
ソフトウェア工学概論 : プログラミング技法からソフトウェア構成論まで / 楠菊信, 飯田三郎共著
-
5
プロトタイピング : CASEテクノロジーの有効利用 / Roland Vonk著 ; 黒田純一郎訳
-
6
ソフトウェア開発の技術 : 抽象化・形式化・進化 / 山村吉信著
-
7
ユーザ・インタフェースのソフトウェア開発 : システムの成否を決める / L. バス, J. クータ著 ; 廣田年亮訳
-
8
CASE概説 : コンピュータ支援ソフトウェア・エンジニアリング / 竹下亨著
-
9
ソフトウェア工学実践の基礎 : 分析・設計・プログラミング / 落水浩一郎著
-
10
見積りの方法 : ソフトウェア開発における実践的見積り技法 / 真野俊樹, 誉田直美著