Ir al contenido

Categoría:Métodos formales

De Wikipedia, la enciclopedia libre

El artículo principal de esta categoría es: Métodos formales.

Subcategorías

Herramientas: Árbol de categorías • Gráfico • Intersección • Todas las páginas • Página aleatoria • Búsqueda interna • Tráfico

Esta categoría incluye las siguientes 6 subcategorías:

A

Análisis de software‎ (2 cat, 22 págs.)

L

Lenguaje Z‎ (5 págs.)

M

Máquinas de Turing‎ (15 págs.)
Modelos computacionales‎ (4 cat, 15 págs.)

T

Tipos abstractos de datos‎ (8 págs.)

V

Verificación de modelos‎ (1 cat, 2 págs.)

Páginas en la categoría «Métodos formales»

Esta categoría contiene las siguientes 26 páginas:

Obtenido de «https://es.wikipedia.org/w/index.php?title=Categoría:Métodos_formales&oldid=156191496»