6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5 - 7 January 1994

Gespeichert in:

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