VDM'87
VDM - a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
Gespeichert in:
Verfasser / Beitragende:
ed. by D. Bjørner... [et al.]
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
1987
Beschreibung:
IX, 422 p. : : fig. ; 25 cm
Format:
Buch (Kongress)