Bornat, Richard, 1944-
Bornat, Richard
VIAF ID: 45782330 (Personal)
Permalink: http://viaf.org/viaf/45782330
Preferred Forms
-
100 1 _ ‡a Bornat, Richard, ‡d 1944-
-
100 1 _ ‡a Bornat, Richard, ‡d 1944-
-
100 1 _ ‡a Bornat, Richard, ‡d 1944-
-
100 1 _ ‡a Bornat, Richard
-
100 1 _ ‡a Bornat, Richard ‡d (1944- ).
-
100 1 0 ‡a Bornat, Richard, ‡d 1944-
Selected Titles
- Programming from first principles
(4)
- Proof and disproof in formal logic : an introduction for programmers
(3)
- theoretical computer science (journal)|theoretical computer science
(1)
- Understanding and writing compilers : a do-it-yourself guide
(1)
