Home > Term: semántica axiomática
semántica axiomática
Definir el comportamiento de un tipo de dato abstracto con axiomas.
- ส่วนหนึ่งของคำพูด: noun
- อุตสาหกรรม/ขอบเขต: Computer science
- Category: Algorithms & data structures
- Government Agency: NIST
0
ผู้สร้าง
- Ashley2003
- 100% positive feedback
(Bilbao, Spain)