Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00857464n
Noun Concept
IT
metodi formali  metodo formale
IT
In ingegneria informatica e ingegneria del software, i metodi formali sono un insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware. Wikipedia
Definitions
Relations
Sources
IT
In ingegneria informatica e ingegneria del software, i metodi formali sono un insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware. Wikipedia
Insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware Wikidata
IS A
metodo
HAS KIND
semantica operazionale
semantica assiomatica
semantica denotazionale
EN
process calculus
BASED ON
logica
matematica
Wikipedia
IT
metodi formali
Wikidata
IT
metodo formale
Wikipedia Redirections
IT
metodo formale
Wikidata Alias
IT
metodi formali
Wikipedia Translations
IT
metodi formali, metodo formale

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