Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)
by
ISBN 13: 9783540517221
Format: Paperback (350 pages) Publisher: Springer Published: 11 Oct 1989
Save for later
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers ... Computer Science and General Issues)
ISBN 13: 9783642284113
Format: Paperback (303 pages) Publisher: Springer Published: 21 Feb 2012