Normal view MARC view

Hoare, C. A. R. (Charles Antony Richard), 1934- (Personal Name)

Used in 1 records
Preferred form: Hoare, C. A. R. (Charles Antony Richard), 1934-

Machine generated authority record.

Machine generated authority record.

Work cat.: (GY-GeU)0: Mathematical logic and programming languages /, 1985.

Work cat.: (GY-GeU)0: Mathematical logic and programming languages /, 1985.