Please use this identifier to cite or link to this item: https://hdl.handle.net/10955/684
Title: Declarative Semantics for Consistency Maintenance
Authors: Caroprese, Luciano
Zumpano, Ester
Talia, Domenico
Keywords: Ingegneria dei sistemi
Semantica
Vincoli
Strumenti
Programmi di previsione
Issue Date: 2006
Series/Report no.: ING-INF/06;
Description: Dipartimento di Elettronica, Informatica e Sistemistica, Dottorato di Ricerca in Ingegneria dei Sistemi e Informatica, Ciclo XX, a.a. 2007
URI: http://hdl.handle.net/10955/684
Appears in Collections:Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica - Tesi di Dottorato

Files in This Item:
File Description SizeFormat 
tesiCaroprese.pdf621,14 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.