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 Mark Ryan, Michael Huth

Logic in Computer Science: Modelling and Reasoning about Systems

Mark Ryan, Michael Huth

440 pages • first pub 1999 (editions)

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