OPAC

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

所蔵情報を非表示

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫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 : us ; ISBN:0387525130
ISBN	3540525130
NCID	BA10042011

目次／あらすじ