5th Refinement Workshop proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	Refinement Workshop (VerfasserIn), British Computer Society Specialist Group in Formal Aspects of Computing Science (BerichterstatterIn)
Weitere Verfasser:	Jones, Cliff B. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	London u.a. Springer 1992
Schriftenreihe:	Workshops in Computing
Schlagworte:	Computer software > Development > Software Engineering > Softwareentwicklung > Software > Verfeinerung > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!