4th Refinement Workshop 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. (BerichterstatterIn)
Format: UnknownFormat
Sprache:und
Veröffentlicht: London u.a. Springer 1991
Schriftenreihe:Workshops in Computing
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Beschreibung:VIII, 478 S.
graph. Darst.
ISBN:3540196579
3-540-19657-9
0387196579
0-387-19657-9