Home > Term: semántica axiomática
semántica axiomática
Definir el comportamiento de un tipo de dato abstracto con axiomas.
- Μέρος του λόγου: noun
- Κλάδος/Τομέας: Υπολογιστές
- Category: Αλγόριθμοι & δομές
- Government Agency: NIST
0
Δημιουργός
- Ashley2003
- 100% positive feedback
(Bilbao, Spain)