Número de Cutter-SanbornC232sEntrada «Canto» → 232 · marca de obra “s”

Set Theory for Computing

Name: Set Theory for Computing
ISBN: 9781441929051

From Decision Procedures to Declarative Programming with Sets

Autor	Domenico Cantone, Eugenio Omodeo, Alberto Policriti, J. T. Schwartz
Editorial	Springer New York
Fecha de publicación	2011
Idioma	inglés
Páginas	409
ISBN-13	9781441929051
Número de Cutter	`C232s`

Set Theory for Computing (2011) — ISBN 9781441929051 | Cutter Number