著者典拠情報

著者標目形：
VDM-Europe Symposium
属性：
Meeting
場所：
Brussels;Dublin;Kiel, Germany
日付：
1987;1988;1990
から見よ参照形：
VDM
注記：
VDM '87, c1987: CIP t.p. (VDM-Europe) CIP galley (a technical advisory group to the Commission of the European Communities in the general domain of information technology; responsible to the CEC with respect to all issues concerning the specific formal software development method VDM (Vienna Development Method))
Its (2nd : 1988 : Dublin) VDM '88, c1988
Its (1987 : Brussels) VDM '87, c1987
著者典拠ID：
DA0134634X


1.

図書
図書
1. VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings (: gw ; : us)
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 428
所蔵情報: 図書館
2.

図書
図書
2. VDM '88 : VDM--the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 11-16, 1988 : proceedings (: gw ; : us)
R. Bloomfield, L. Marshall, R. Jones (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 328
所蔵情報: 図書館
3.

図書
図書
3. VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings (: gw ; : us)
edited by D. Bjørner ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 252
所蔵情報: 図書館