Author(s)
Bibliographic Information
Prentice-Hall International series in computer science
Prentice-Hall International
- Other Title
-
Prentice Hall International series in computer science
Search this Book/Journal
-
81
- Computer science : a mathematical introduction
-
Art Lew
Prentice/Hall c1985 Prentice-Hall International series in computer science
: pbk
Available at 30 libraries
-
82
- Mathematical logic and programming languages
-
edited by C.A.R. Hoare and J.C. Shepherdson
Prentice Hall International c1985 Prentice-Hall International series in computer science
Available at 39 libraries
-
83
- Construction of data processing software
-
John Elder
Prentice-Hall International c1984 Prentice-Hall International series in computer science
: pbk
Available at 12 libraries
-
84
- A multiprocessor operating system
-
Mathai Joseph, V.R. Prasad, and N. Natarajan
Prentice/Hall International c1984 Prentice-Hall International series in computer science
Available at 24 libraries
-
85
- OCCAM programming manual
-
INMOS Limited
Prentice-Hall International c1984 Prentice-Hall International series in computer science
Available at 14 libraries
-
86
- Sequential program structures
-
Jim Welsh, John Elder, and David Bustard
Prentice/Hall International 1984 Prentice-Hall International series in computer science
pbk.
Available at 13 libraries
-
87
- Micro-PROLOG : programming in logic
-
K.L. Clark and F.G. McCabe ; with contributions by M.H. van Emden ... [et al.]
Prentice/Hall International c1984 Prentice-Hall International series in computer science
: pbk
Available at 45 libraries
-
88
- Software engineering and modula-2
-
Gustav Pomberger
Prentice Hall International c1984 Prentice-Hall International series in computer science
: pbk
Available at 16 libraries
-
89
- The logic of programming
-
Eric C.R. Hehner
Prentice/Hall International c1984 Prentice-Hall International series in computer science
Available at 23 libraries
-
90
- Pascal for the Apple
-
Iain MacCallum
Prentice Hall International c1983 Prentice-Hall International series in computer science
: pbk , : with floppy disk
Available at 2 libraries
-
91
- System development
-
M.A. Jackson
Prentice/Hall 1983 Prentice-Hall International series in computer science
Available at 40 libraries
-
92
- Formal specification and software development
-
Dines Bjørner and Cliff B. Jones ; in collaboration with Derek Andrews [et al.]
Prentice-Hall International c1982 Prentice-Hall International series in computer science
Available at 14 libraries
-
93
- Introduction to Pascal
-
by Jim Welsh and John Elder
Prentice/Hall International c1982 2nd ed Prentice-Hall International series in computer science
pbk.
Available at 9 libraries
-
94
- Computer science : a modern introduction
-
L. Goldschlager and A. Lister
Prentice/Hall International c1982 Prentice-Hall International series in computer science
: pbk.
Available at 12 libraries
-
95
- How to solve it by computer
-
by R.G. Dromey
Prentice-Hall International c1982 Prentice-Hall International series in computer science
: pbk
Available at 16 libraries
-
96
- Principles of programming languages
-
R.D. Tennent
Prentice/Hall International c1981 Prentice-Hall International series in computer science
Available at 22 libraries
-
97
- The craft of programming
-
John C. Reynolds
Prentice/Hall International c1981 Prentice-Hall International series in computer science
Available at 18 libraries
-
98
- Structured system programming
-
by Jim Welsh and Michael McKeag
Prentice/Hall International c1980 Prentice-Hall International series in computer science
Available at 32 libraries
-
99
- Software development : a rigorous approach
-
Cliff B. Jones
Prentice/Hall International 1980 Prentice-Hall International series in computer science
Available at 30 libraries
-
100
- Mathematical theory of program correctness
-
Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker
Prentice-Hall International c1980 Prentice-Hall International series in computer science
Available at 31 libraries