3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS ...) ; 9 - 11 January 1990, Hursley Park

3rd Refinement Workshop proceedings of the 3rd Refinement Workshop (organised by BCS-FACS ...) ; 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 (BerichterstatterIn)
Format: UnknownFormat
Sprache:und
Veröffentlicht: London u.a. Springer 1991
Schriftenreihe:Workshops in computing
Schlagworte:
Verfeinerung > Softwareentwicklung > Programmierung > Schrittweise Verfeinerung > Aufsatzsammlung > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:VII, 197 S.
ISBN:3540196242
3-540-19624-2
0387196242
0-387-19624-2