rexyuan's read books


Expand filter menu Filter list (2 books)

2 books

OCaml from the Very Beginning by John Whitington

OCaml from the Very Beginning

John Whitington

206 pages • first pub 2013 (editions)

3.0rexyuan's review
computer science informative medium-paced
Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth, Mark Ryan

Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth, Mark Ryan

440 pages • first pub 1999 (editions)

5.0rexyuan's review
nonfiction computer science mathematics informative slow-paced
More...