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
6th Refinement Workshop
: proceedings of the 6th Refinement Workshop, London, 5 - 7 January 1994 / David Till (ed.). Organised by BCS-FACS. Publ. in collab. with the British Computer Society. - London : Springer, 1994. - X, 305 S. : graph. Darst.; 25 cm - (Workshops in Computing)
ISBN 978-3-540-19886-4 / 3-540-19886-5 Gewebe
Literaturangaben
Quelle: DNB
7th Refinement Workshop
: proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996 / He Jifeng ... (ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1997. - 8 S.; 21 cm - (Electronic Workshops in Computing)
ISBN 978-3-540-76104-4 / 3-540-76104-7 geh. : DM 68.00
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
Bunse, Christian: Pattern-based refinement and translation of object-oriented models to code
/ von Christian Bunse. - Stuttgart : Fraunhofer-IRB-Verl., 2001. - XII, 462 S. : graph. Darst.; 24 cm - (PhD theses in experimental software engineering; Vol. 2)
ISBN 978-3-8167-5613-2 / 3-8167-5613-1 kart. : DM 160.00
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
