Peter O'Hearn

ספרים שבהם Peter O'Hearn מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

ALGOL-like languagesR. D. Tennent

ALGOL-like languages

R. D. Tennent · 1996

Verified Software : Theories, Tools, ExperimentsGary T. Leavens

Verified Software : Theories, Tools, Experiments

Gary T. Leavens · 2010