このページのリンク

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
(Lecture notes in computer science ; 428)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 c1990
本文言語 英語
大きさ xvii, 579 p. ; 25 cm

所蔵情報を非表示

書庫2階 QA:76.76:D47:V36:1990

000063876

書誌詳細を非表示

別書名 VDM ninety
著者標目 *VDM-Europe Symposium (3rd : 1990 : Kiel, Germany)
Bjørner, D. (Dines), 1937-
Hoare, C. A. R. (Charles Antony Richard), 1934-
Langmaack, Hans
件 名 LCSH:Computer software -- Development -- Congresses  全ての件名で検索
分 類 LCC:QA76.76.D47
DC20:005.1
巻冊次 : gw ; ISBN:3540525130 REFWLINK
: us ; ISBN:0387525130 REFWLINK
ISBN 3540525130
NCID BA10042011 WCLINK
目次/あらすじ

 類似資料