Lógica De Hoare
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Lógica_de_Hoare
Back to Lógica De Hoare
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Análisis_estático_de_software
dbpedia-latam:
C._A._R._Hoare
dbpedia-latam:
Java_Modeling_Language
dbpedia-latam:
Logica_de_Hoare
dbpedia-latam:
Monitor_(concurrencia)
dbpedia-latam:
Postcondición
dbpedia-latam:
Precondición
dbpedia-latam:
Principio_de_sustitución_de_Liskov
dbpedia-latam:
Semántica_axiomática
dbpedia-latam:
Semántica_de_lenguajes_de_programación
dbpedia-latam:
Semántica_de_transformación_de_predicados
dbpedia-latam:
Verificación_formal