VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Bjørner, Dines; Jones, Cliff; Mac An Airchinnigh, Michael; Neuhold, Erich J.

Details

Published by: Springer

Publication Date: 1987-03-11

Format: Paperback

ISBN-13: 9783540176541

DOI: 10.1007/3-540-17654-3

Dimensions: 235.0cm x155.0cm

Pages: 422.0