Blank Cover Image
所蔵情報QRコード

ソフトウェア仕様記述の先進技法-Z言語 / B. ポター, J.シンクレア, D.ティル著 ; 田中武二監訳

資料種別:
図書
出版情報:
東京 : トッパン, 1993.9
形態:
xiv, 321p ; 21cm
著者名:
ISBN:
9784810185638 [481018563X]
書誌ID:
BN09833215
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 ソフトウェアの仕様化と設計

花田, 収悦(1940-)

日科技連出版社
7 図書 ソフトウエア工学概論

中田, 和男(1926-), 新井, 浩志

森北出版
2 図書 実時間ソフトウェアの仕様記述とその検証方式の研究

米崎、 直樹

東京工業大学 、 1998.3
8 図書 分散ソフトウェア開発

長野, 宏宣, 宮地, 利雄

共立出版
3 図書 IEEEソフトウェア ('88)

IEEEソフトウェア編集委員会

岩波書店
9 図書 ソフトウェア工学入門

鯵坂, 恒夫(1956-)

サイエンス社
4 図書 ソフトウェア工学

SCC出版局

電子開発学園出版局, エスシーシー(発売)
10 図書 協調型計算システム : 分散型ソフトウェアの技法と道具立て

Friedman, Daniel P., 雨宮, 真人, Filman, Robert E.

マグロウヒルブック
5 図書 プログラム仕様記述論

荒木, 啓二郎, 張, 漢明

オーム社
11 図書 パーソナルソフトウェアプロセス技法 : 能力向上の決め手

Humphrey, Watts S., 1927-, ソフトウェア品質経営研究会, 松本, 正雄

共立出版
6 図書 ソフトウェアプロセス

井上, 克郎(1956-), 松本, 健一(1962-), 飯田, 元(1964-)

共立出版
12 図書 電子計算機 : ソフトウェアの基礎

萩原, 宏(1926-), 長尾, 真(1936-), 星野, 聡(1931-), 北川, 一

オーム社
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12