rexyuan's current reads
2 books

Model Checking by Edmund M. Clarke

Model Checking

Edmund M. Clarke

314 pages • first pub 1999 (editions)

nonfiction science challenging informative slow-paced
The Formal Semantics of Programming Languages: An Introduction by Glynn Winskel

The Formal Semantics of Programming Languages: An Introduction

Glynn Winskel

384 pages • first pub 1993 (editions)

nonfiction computer science informative medium-paced
More...