Bornat, Richard, (1944-)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Proof and disproof in formal logic : = an introduction for programmers /
by:
Bornat, Richard, (1944-)
(Language materials, printed)
Understanding and writing compilers : = a do-it-yourself guide /
by:
Bornat, Richard, (1944-)
(Language materials, printed)