VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science (252), Band 252)

Proceedings

von: Cliff Jones · Dines Bjorner · Erich J. Neuhold · Michael Mac An Airchinnigh

Taschenbuch

EAN=ISBN-13: 978-3-540-17654-1

ISBN-10: 3-540-17654-3

Springer · 2008