In questo articolo si discutono problemi di previsione e controllo del comportamento dei sistemi informatici alla luce degli sviluppi nel settore dei metodi formali in informatica teorica
Epistemologia dell'artificiale e informatica teorica / Angius, N.; Tamburrini, Guglielmo. - STAMPA. - (2010), pp. 75-86.
Epistemologia dell'artificiale e informatica teorica
TAMBURRINI, GUGLIELMO
2010
Abstract
In questo articolo si discutono problemi di previsione e controllo del comportamento dei sistemi informatici alla luce degli sviluppi nel settore dei metodi formali in informatica teoricaFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.