Fundamental Proof Methods in Computer Science > Editions
by Konstantine Arkoudas
Published May 5th 2017
by The MIT Press
1, Hardcover, 976 pages
Published April 28th 2017
by The MIT Press
Unknown Binding, 976 pages


