Métodos Formales
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Categoría:Métodos_formales
Back to Métodos Formales
Is
dcterms:
subject
of
dbpedia-latam:
Aserción_(informática)
dbpedia-latam:
Cálculo_lambda
dbpedia-latam:
Demostración_automática_de_teoremas
dbpedia-latam:
Especificación_formal
dbpedia-latam:
Invariante_(informática)
dbpedia-latam:
Lógica_computacional
dbpedia-latam:
Máquina_de_Turing
dbpedia-latam:
Método_formal
dbpedia-latam:
Postcondición
dbpedia-latam:
Precondición
dbpedia-latam:
Principio_de_sustitución_de_Liskov
dbpedia-latam:
Problema_de_satisfacibilidad_booleana
dbpedia-latam:
Proceso_Unificado_de_Rational
dbpedia-latam:
Proceso_para_el_desarrollo_de_software
dbpedia-latam:
Semántica_axiomática
dbpedia-latam:
Semántica_de_transformación_de_predicados
dbpedia-latam:
Sistema_formal
dbpedia-latam:
Teoría_de_conjuntos
dbpedia-latam:
Verificación_de_modelos
dbpedia-latam:
Verificación_formal
![[This page as RDF]](http://es-la.dbpedia.org/static/dbpedialatam.png)
