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

Bibliographische Detailangaben

Hauptverfasser:	Bjørner, Dines, Jones, Cliff B, Mac an Airchinnigh, Mícheál, Neuhold, Erich J
Format:	Buch
Sprache:	eng
Schlagworte:	Computer Science Software Engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!