Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti.
Series Monographs in computer scienceDetalles de publicación: New York : Springer, 2001.Descripción: xviii, 409 p. : il. ; 24 cmISBN:- 0387951970
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C G2 C212 | Disponible | 18248 |
Total de reservas: 0
Foreword by Jacob T. Schwartz.