Home > Term: semántica axiomática
semántica axiomática
Definir el comportamiento de un tipo de dato abstracto con axiomas.
- Besedna vrsta: noun
- Industrija/področje: Computer science
- Category: Algorithms & data structures
- Government Agency: NIST
0
Avtor
- Ashley2003
-
(V.I.P) 52179 points - 100% positive feedback
(Bilbao, Spain)
