LIBROS DEL AUTOR: agostino cortesi

2 resultados para LIBROS DEL AUTOR: agostino cortesi

agostino cortesi Eliminar filtro Quitar filtros
  • Hyper-lattice Algebraic Model for Data Warehousing
    Agostino Cortesi / Nabendu Chaki / Soumya Sen
    This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an alternative to lattice. The authors analyze some of the shortcomings of conventional lattice structure and propose a novel algebraic structure in the form of Hyper-lattice to overcome problems with lattice. They establish how Hyper-lattice supports dynamic insertion of elements in a parti...
    Disponible

    66,67 €

  • Verification, Model Checking, and Abstract Interpretation
    Agostino Cortesi
    This volume contains the revised version of papers presented at VMCAI 2002, theThirdInternationalWorkshoponVeri?cation,ModelChecking,andAbstract Interpretation, Venice (Italy), January 21-22, 2002. Themaingoaloftheworkshopwastogiveanoverviewofthemaindirections decisive for the growth and cross-fertilization of major research activities in programanaly...
    Disponible

    80,28 €