| 1 |
Syntax of programming languages : theory and practice / Roland C. Backhouse
Englewood Cliffs, N.J. : Prentice-Hall International , c1979
|
| 2 |
Introduction to Pascal / by Jim Welsh and John Elder
Englewood Cliffs, N.J. : Prentice/Hall International , c1979
|
| 3 |
Software development : a rigorous approach / Cliff B. Jones
Englewood Cliffs, N.J. : Prentice/Hall International , 1980
|
| 4 |
Functional programming : application and implementation / Peter Henderson
Englewood Cliffs, N.J. : Prentice-Hall International , c1980
|
| 5 |
Structured system programming / by Jim Welsh and Michael McKeag
Englewood Cliffs, N.J. : Prentice/Hall International , c1980
|
| 6 |
Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson
Englewood Cliffs, N.J. : Prentice Hall International , c1985
|
