Vista normal
Vista MARC
- Henson, Martin.
Henson, Martin. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)295046: Treharne, Helen. editor. 329172, ZB 2005: Formal Specification and Development in Z and B :
TEST - Catálogo BURRF
