Vista normal
Vista MARC
Métodos formales (Computación) (Término tópico)
Esta autoridad no está utilizada en ningún registro.
Ver además:
- Encabezamiento genérico: System design
DGB/UNAM, 28 marzo 2001: catálogo electrónico (Métodos formales (Computación))