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

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
著者名:
シリーズ名:
Lecture notes in computer science ; 509 <BA00009279>
ISBN:
9783540541943 [3540541942] (: Berlin)  CiNii Books  Calil
9780387541945 [0387541942] (: New York)  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Software Development Environments and Case Technology : European Symposium, Königswinter, June 17-19, 1991. Proceedings

Endres, Albert., Weber, Herbert., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 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
2 電子ブック Software Development Environments and CASE Technology : European Symposium Königswinter, June 17–19, 1991 Proceedings

Endres, A., Weber, H., SpringerLink (Online service)

Springer-Verlag
8 図書 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
3 図書 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
9 図書 VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings

VDM-Europe Symposium, Bjørner, Dines, 1937-

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 図書 VDM '88 : VDM--the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 11-16, 1988 : proceedings

VDM-Europe Symposium, Bloomfield, Robin E., Marshall, Lynn S., Jones, Roger B.

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

EWSPT, Schäfer, Wilhelm

Springer-Verlag
11 図書 FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

International Symposium of Formal Methods Europe, Naftalin, Maurice, 1951-, Denvir, Tim, Bertran, Miquel

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

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

Springer-Verlag
12 図書 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