Peter OHearn

Peter OHearn is the author of "Algol-Like Languages", "Verified Software: Theories, Tools, Experiments", "A Song for the King" and "Common School Arithmetic Part 2".

Books by Peter OHearn

Verified Software...
Leavens Gary T.
Paperback: $54.99

Verified Software...
Leavens Gary T.
Paperback:

A Song for the Ki...
Kenchen Thrangu Rin...
Paperback: $14.95

Common School Ari...
Kennedy, W. T.
Paperback: