Proceedings of the 3rd Refinement Workshop: 9 - 11 January 1990, Hursley Park
London [u.a.]: Springer, 1991
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VII, 197 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Proceedings of the 3rd Refinement Workshop: 9 - 11 January 1990, Hursley Park
|
---|---|
Verantwortlichkeitsangabe: | (organised by BCS-FACS). Carroll Morgan ... (eds.) |
Autor/in / Beteiligte Person: | Morgan, Carroll (1952-) |
Körperschaft: | Refinement Workshop, 3, 1990, Hursley Park ; Refinement Workshop ; British Computer Society, Specialist Group in Formal Aspects of Computing Science |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | London [u.a.]: Springer, 1991 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VII, 197 S. : graph. Darst. |
ISBN: | 3540196242 : No price : CIP entry (Jan.); 0387196242 U.S. |
Schlagwort: |
|
Sonstiges: |
|