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

Programming and mathematical method

: [proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990] / ed. by Manfred Broy. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1992. - VIII, 407 S. : graph. Darst.; 25 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 88)

ISBN 978-3-540-55558-2 / 3-540-55558-7 Pp. : DM 148.00

Literaturangaben

Quelle: DNB

Refinement techniques in software engineering

: revised lectures / First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23 - December 5, 2004. Ana Cavalcanti ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3167)

ISBN 978-3-540-46254-5

Lizenzpflichtig

Quelle: DNB