Proceedings of the BCS-FACS 7th Refinement Workshop : Bath, 3 - 5 July 1996

Proceedings of the BCS-FACS 7th Refinement Workshop Bath, 3 - 5 July 1996

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Refinement Workshop (VerfasserIn), British Computer Society Specialist Group in Formal Aspects of Computing Science (BerichterstatterIn)
Weitere Verfasser: He, Jifeng (BerichterstatterIn), Cooke, John (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London u.a. Springer 1997
Schriftenreihe:Electronic workshops in computing
Schlagworte:
Computer software > Development > Konferenzschrift > Softwareentwicklung > Verfeinerung
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Enthält nur Abstracts d. Papers ; Volltexte im Internet lizenzfrei unter <http://ewic.bcs.org/conferences/1996/refinement/index.htm>
Beschreibung:VI, 8 S
21 cm
ISBN:3540761047
3-540-76104-7