3rd Refinement Workshop
: proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park / Carroll Morgan and J. C. P. Woodcock (ed.) Organised by BCS-FACS, and sponsored by IBM UK Laboratories. Publ. in collab. with the British Computer Society. - London : Springer, 1991. - VII, 197 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19624-2 / 3-540-19624-2 kart. : DM 60.00
Literaturangaben
Quelle: DNB
On the refinement calculus
/ ed. by Carroll Morgan and Trevor Vickers. Carroll Morgan .... - 2nd print. - London : Springer, 1994. - 159 S.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19931-1 / 3-540-19931-4 kart. : DM 58.00
Literaturverz. S. 155 - 158
Quelle: DNB
On the refinement calculus
/ ed. by Carroll Morgan and Trevor Vickers. Carroll Morgan .... - London : Springer, 1994. - 159 S.; 25 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19809-3 / 3-540-19809-1 Pp. : DM 68.00
Literaturverz. S. 155 - 159
Quelle: DNB
