884521116521 VDM "87, VDM, a Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgiu

VDM "87, VDM, a Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science) (Paperback) - Common

EAN/UPC/ISBN Code 884521116521

Marke Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Hersteller Covidien Inc.

VDM "87, VDM, a Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings