Arkoudas, Konstantine Musser, David
Fundamental proof methods in Computer Science - Cambridge The MIT Press 2017 - 941p.
9780262035538
Theoretical Computer Science
681.3 / ARK
Fundamental proof methods in Computer Science - Cambridge The MIT Press 2017 - 941p.
9780262035538
Theoretical Computer Science
681.3 / ARK