>> Google Books
タイトル、所在を表示します

Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings

フォーマット:
図書
責任表示:
A. Endres, H. Weber, eds
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1991
形態:
viii, 286 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 509 <BA00009279>
書誌ID:
BA12581287
ISBN:
9783540541943 [3540541942] (: gw)
9780387541945 [0387541942] (: us)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings

EWSPT, Ambriola, Vincenzo

Springer
7 図書 Object technologies for advanced software : Second JSSST International Symposium, ISOTAS ʾ96, Kanazawa, Japan, March 11-15, 1996 : proceedings

International Symposium on Object Technologies for Advanced Software, 二木, 厚吉(1948-), 松岡, 聡, 日本ソフトウェア科学会

Springer-Verlag
2 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934-

Springer-Verlag
8 図書 FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : …

International Symposium of Formal Methods Europe, Oliveira, José N., Zave, Pamela, 1948-

Springer
3 図書 VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings

VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-

Springer-Verlag
9 図書 FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings

International Symposium of Formal Methods Europe, Woodcock, James, Larsen, P. G. (Peter Gorm), 1964-

Springer-Verlag
4 図書 Software process technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings

EWSPT, Schäfer, Wilhelm

Springer-Verlag
10 図書 FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, …

International Symposium of Formal Methods Europe, Fitzgerald, John, 1965-, Jones, Cliff B., 1944-, Lucas, Peter, 1955-

Springer
5 図書 Object technologies for advanced software : First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings

International Symposium on Object Technologies for Advanced Software, 西尾, 章治郎(1951-), 米沢, 明憲(1947-), 日本ソフトウェア科学会

Springer-Verlag
11 図書 Development and evolution of software architectures for product families : Second international ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, …

International Workshop on Development and Evolution of Software Architectures for Product Families, Linden, Frank van &hellip;

Springer-Verlag
6 図書 TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

International Joint Conference on Theory and Practice of Software Development, Gaudel, M.-C. (Marie-Claude), Jouannaud, &hellip;

Springer-Verlag
12 図書 TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

International Joint Conference on Theory and Practice of Software Development, Bidoit, M. (Michel), 1957-, Dauchet, Max, &hellip;

Springer