Semántica axiomática
Definición – ¿Qué significa Semántica Axiomática? La semántica axiomática son expresiones semánticas de las relaciones inherentes a un fragmento de código. Estas expresiones pueden ser útiles para describir cómo funciona algún software. Techinfo explica la semántica axiomática Una cosa interesante acerca de la semántica axiomática en contraste con otros tipos de expresiones es que son … Leer más