The complexity of checking action redundancy

• Autore: Ferrara Andrea , Liberatore Paolo , Schaerf Marco
• Editore: Aracne
• Isbn: 9788854801202
• Categoria: Libro. elaborazione dati
• Numero pagine: 24
• Data di Uscita: 30/11/1999
• Collana: Dipartimento informatica e sistemistica