Transformational programming and the derivation of algorithms.

Ward, Martin; Zedan, Hussein

Date

2010

Author

Ward, Martin;

Zedan, Hussein

Metadata

Show attachments and full item record

Citation : Ward, M. and Zedan, H. (2010) Transformational programming and the derivation of algorithms. Lecture Notes in Electrical Engineering, 62 pp. 17-22

URI

http://hdl.handle.net/2086/4553

DOI

http://dx.doi.org/10.1007/978-90-481-9794-1_4

ISBN : 9789048197934

ISSN : 1876-1100

Research Group : Centre for Computing and Social Responsibility

Peer Reviewed : Yes

Collections

School of Computer Science and Informatics [2592]