Lo scopo del presente lavoro è di fornire una succinta, ma al tempo stesso esauriente rassegna sull'uso di tecniche proprie dell'Intelligenza Artificiale nella verifica e nell'analisi dei programmi, completata da una vasta bibliografia.
Tecniche di Intelligenza artificiale nella Verifica ed Analisi di Programmi
SIROVICH, Franco
1981-01-01
Abstract
Lo scopo del presente lavoro è di fornire una succinta, ma al tempo stesso esauriente rassegna sull'uso di tecniche proprie dell'Intelligenza Artificiale nella verifica e nell'analisi dei programmi, completata da una vasta bibliografia.
File 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.
