Proceedings of the 3rd Refinement Workshop 9 - 11 January 1990, Hursley Park

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	Refinement Workshop (VerfasserIn), British Computer Society Specialist Group in Formal Aspects of Computing Science (BerichterstatterIn)
Weitere Verfasser:	Morgan, Carroll (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	London, Berlin, Heidelberg, New York, Paris, Tokyo, Hong Kong Springer 1991
Schriftenreihe:	Workshops in computing
Schlagworte:	Computer systems. Software. Development > Computer softwareDevelopment > Konferenzschrift > Softwareentwicklung > Verfeinerung
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!