Set Theory for Computing: From Decision Procedures To Declarative Programming With Sets (Monographs In Computer Science)
by Domenico Cantone,Eugenio Omodeo,Alberto Policriti
ISBN 13: 9781441929051
Format: Paperback (428 pages) Publisher: Springer Published: 21 Sep 2011
Save for later