Normal view
MARC view
Abadi, Martin (Personal Name)
Machine generated authority record.
Work cat.: (OSt)284803: Abadi, Martin, Theoretical aspects of computer software (e-book), 1997