---

VDM '87 : VDM, a formal method at work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]
(Lecture notes in computer science ; 252)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1987
形態	ix, 422 p. ; 25 cm
著者標目	VDM-Europe Symposium (1987 : Brussels) Bjørner, D. (Dines), 1937-
件　名	LCSH:Computer software -- Development -- Congresses  全ての件名で検索 LCSH:Computer software industry -- European Community countries -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:005.1 LCC:QA76.76.D47
書誌ID	LT00169096

 類似資料