Search alternatives:
22computational methods » computational methods, computational method, computation methods
Cover Image
Read Now

1
by Alagic, Suad, Arbib, Michael A.
Published 1978
Springer New York
Table of Contents: “... and Their Proof Rules -- 2.1 Relations for Program Correctness -- 2.2 Logical Formulas and Pascal Expressions...”