Discover (Random Books)

A Proof Assistant for Higher-Order Logic

Tobias Nipkow & Lawrence C. Paulson & Markus Wenze & Isabelle Hol

Category: COMPUTERS / Operating Systems / UNIX

The GNU Make Book

John Graham-Cumming