西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings / S. Prehn, W.J. Toetenel (eds.).

出版发行项:

Berlin ; New York : Springer-Verlag, c1991.

ISBN:

3540548343 (Springer-Verlag Berlin : v. 1)

ISBN:

0387548343 (Springer-Verlag New York : v.1)

ISBN:

3540548688 (Springer-Verlag Berlin : v. 2)

ISBN:

0387548688 (Springer-Verlag New York : v. 2)

载体形态项:

2 v. : ill. ; 24 cm.

丛编题名:

Lecture notes in computer science ; 551-552

会议名称:

VDM '91 (1991 : Noordwijkerhout, Netherlands)

附加个人名称:

Toetenel, W. J., 1953-

附加个人名称:

Prehn, S. (S瞨en), 1955-

附加团体名称:

VDM-Europe.

论题主题:

Computer software-Development-Congresses.

中图法分类号:

TP301.2-532

书目附注:

Includes bibliographical references and index.

内容附注:

v. 1. Conference contributions -- v. 2. Tutorials.

豆瓣简介：