Proceedings of the 4th Refinement Workshop 9 - 11 January 1991, Cambridge

Gespeichert in:

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