Search Results - Prentice-Hall International,

Select result number 1
1

Mathematical theory of program correctness /

by Bakker, J. W. de (Jacobus Willem), 1939-
Published 1980
“...Prentice-Hall International,...”

Located Loading...
Call Number Loading...

Book Loading...

Save to List

Saved in:
Select result number 2
2

Mathematical logic and programming languages /

Published 1985
“...Prentice/Hall International,...”

Located Loading...
Call Number Loading...

Book Loading...

Save to List

Saved in: