248 pages
English language
Published April 9, 2015 by MIT Press.
Little Prover
Daniel P. Friedman, Carl Eastlund, Duane Bibby, J. Strother Moore, Matthias Felleisen: Little Prover (2015, MIT Press)
- ISBN:
- 978-0-262-33055-8
Copied ISBN!
Daniel P. Friedman, Carl Eastlund, Duane Bibby, J. Strother Moore, Matthias Felleisen: Little Prover (2015, MIT Press)
248 pages
English language
Published April 9, 2015 by MIT Press.
