>> Amazon.co.jp
このページのQRコード

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

種類:
図書
責任表示:
Wilhelm Schäfer, (ed.)
出版情報:
Berlin : Springer-Verlag, c1995
著者名:
シリーズ名:
Lecture notes in computer science ; 913 <BA00009279>
ISBN:
9783540592051 [3540592059] (: Berlin)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Software Process Technology : 4th European Workshop, EWSPT'95 Noordwijkerhout, The Netherlands, April 3–5, 1995 Proceedings

Schäfer, Wilhelm, SpringerLink (Online service)

Springer-Verlag
7 電子ブック Software Process Technology : 5th European Workshop, EWSPT '96, Nancy, France, October 9 - 11, 1996. Proceedings

Montangero, Carlo., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
2 電子ブック Software Process Technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings

Schäfer, Wilhelm., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : …

Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Brinksma, Ed

Springer
3 図書 Software process technology : Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings

EWSPT, Derniame, J. C. (Jean Claude)

Springer-Verlag
9 図書 Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings

Endres, Albert, Weber, Herbert, 1940-

Springer-Verlag
4 図書 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
10 図書 6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994

Refinement Workshop, Till, David, British Computer Society. Specialist Group in Formal Aspects of Computing Science

Springer-Verlag
5 図書 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on …

Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Steffen, Bernhard

Springer
11 図書 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-, Hoare, C. A. R. (Charles Antony Richard), 1934ー, Langmaack, Hans

Springer-Verlag
6 電子ブック Software Process Technology : 5th European Workshop, EWSPT '96 Nancy, France, October 9–11, 1996 Proceedings

Montangero, Carlo, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Software Engineering — ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings

Schäfer, Wilhelm, Botella, Pere, SpringerLink (Online service)

Springer-Verlag