VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
كتاب من تأليف: Bjorner, Dines ; Neuhold, Erich J. ; Mac An Airchinnigh, Michael ; Jones, Cliff B. (1944-....) ; نشر في: 1987
ملخص: Provides an account of the research into, and application of the Vienna Development Method (VDM), one of the most widely known "formal methods".
طبعة:
Berlin:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
422 p.
;24 cm
ISBN: 3540176543