＜図書＞
(Workshops in computing)
6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 / David Till (ed.).
| 出版者 | London : Springer-Verlag |
|---|---|
| 出版年 | c1994 |
| ページ数・大きさなど | x, 305 p. : ill. ; 24 cm |
あらすじ等を見る
所蔵情報を非表示
| 配置場所 | 資料区分 | 巻 次 | 請求記号 | 資料ID | 状 態 | コメント | ISBN | 刷 年 | 予約／取寄せ | 指定図書 |
|---|---|---|---|---|---|---|---|---|---|---|
| (中央)第12書庫 | 一般図書 |
|
007.63 - R23 | 10343475 |
|
|
1994 |
|
|
書誌詳細を非表示
| 別書名 | その他のタイトル:Sixth Refinement Workshop |
|---|---|
| 一般注記 | "Published in collaboration with the British Computer Society." Includes bibliographical references and index |
| 著者標目 | *Refinement Workshop (6th : 1994 : London, England) Till, David British Computer Society. Specialist Group in Formal Aspects of Computing Science |
| 件 名 | LCSH:Computer software -- Development -- Congresses |
| 分 類 | NDC7:007.63 |
| 本文言語 | 英語 |
| 書誌ID | BD00651184 |
| NCID |
BA23545842 
|
| 巻冊次 | ISBN:0387198865 ISBN:3540198865 |
類似資料
-
1
Using the Booch method : a rational approach / Iseult White.
-
2
Notations for software design / by Loe M.G. Feijs, Hans B.M. Jonkers and Cornelis A. Middelburg.
-
3
The unified software development process / Ivar Jacobson, Grady Booch, James Rumbaugh.
-
4
The unified modeling language user guide / Grady Booch, James Rumbaugh, Ivar Jacobson.
-
5
Software portability with imake / Paul DuBois.
-
6
Cost estimation for software development / Bernard Londeix.
-
7
Pattern languages of program design / edited by James O. Coplien, Douglas C. Schmidt.
-
8
Extreme programming explained : embrace change / Kent Beck.
-
9
Formal specification and design / L. M. G. Feijs & H. B. M. Jonkers.
-
10
Introductory logic and formal methods / David Heath, Derek Allum, Lynne Dunckley.
Myライブラリー（利用者サービス）
Copyright © 2016 Kindai University Central Library. All Rights Reserved.