Vista normal
Vista MARC
- King, Steve.
King, Steve. (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
