Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03306759n
Noun Concept
Categories: Σημασιολογία γλωσσών προγραμματισμού, Λογική για Υπολογιστές, Τυπικές μέθοδοι
EL
αξιωματική σημασιολογία
EL
Αξιωματική σημασιολογία ονομάζεται μια προσέγγιση της απόδειξης της ορθότητας προγραμμάτων, η οποία βασίζεται στη μαθηματική λογική. Wikipedia
Definitions
Relations
Sources
EL
Αξιωματική σημασιολογία ονομάζεται μια προσέγγιση της απόδειξης της ορθότητας προγραμμάτων, η οποία βασίζεται στη μαθηματική λογική. Wikipedia
IS A
τυπική σημασιολογία των γλωσσών προγραμματισμού
HAS KIND
EN
algebraic semantics
Wikipedia
EL
αξιωματική σημασιολογία
Wikidata
EL
Αξιωματική σημασιολογία
Wikipedia Translations
EL
αξιωματική σημασιολογία

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License