著者
書誌事項
Prentice-Hall International series in computer science
Prentice-Hall International
- タイトル別名
-
Prentice Hall International series in computer science
この図書・雑誌をさがす
-
81
- Computer science : a mathematical introduction
-
Art Lew
Prentice/Hall c1985 Prentice-Hall International series in computer science
: pbk
所蔵館31館
-
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
所蔵館41館
-
83
- Construction of data processing software
-
John Elder
Prentice-Hall International c1984 Prentice-Hall International series in computer science
pbk.
所蔵館12館
-
84
- A multiprocessor operating system
-
Mathai Joseph, V.R. Prasad, and N. Natarajan
Prentice/Hall International c1984 Prentice-Hall International series in computer science
所蔵館22館
-
85
- OCCAM programming manual
-
INMOS Limited
Prentice-Hall International c1984 Prentice-Hall International series in computer science
所蔵館15館
-
86
- Sequential program structures
-
Jim Welsh, John Elder, and David Bustard
Prentice/Hall International 1984 Prentice-Hall International series in computer science
pbk.
所蔵館13館
-
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
所蔵館46館
-
88
- Software engineering and modula-2
-
Gustav Pomberger
Prentice Hall International c1984 Prentice-Hall International series in computer science
: pbk
所蔵館16館
-
89
- The logic of programming
-
Eric C.R. Hehner
Prentice/Hall International c1984 Prentice-Hall International series in computer science
所蔵館25館
-
90
- Pascal for the Apple
-
Iain MacCallum
Prentice Hall International c1983 Prentice-Hall International series in computer science
: pbk , : with floppy disk
所蔵館2館
-
91
- System development
-
M.A. Jackson
Prentice/Hall 1983 Prentice-Hall International series in computer science
所蔵館42館
-
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
所蔵館14館
-
93
- Introduction to Pascal
-
by Jim Welsh and John Elder
Prentice/Hall International c1982 2nd ed Prentice-Hall International series in computer science
pbk.
所蔵館9館
-
94
- Computer science : a modern introduction
-
L. Goldschlager and A. Lister
Prentice/Hall International c1982 Prentice-Hall International series in computer science
: pbk.
所蔵館13館
-
95
- How to solve it by computer
-
by R.G. Dromey
Prentice-Hall International c1982 Prentice-Hall International series in computer science
: pbk
所蔵館16館
-
96
- Principles of programming languages
-
R.D. Tennent
Prentice/Hall International c1981 Prentice-Hall International series in computer science
所蔵館23館
-
97
- The craft of programming
-
John C. Reynolds
Prentice/Hall International c1981 Prentice-Hall International series in computer science
所蔵館18館
-
98
- Structured system programming
-
by Jim Welsh and Michael McKeag
Prentice/Hall International c1980 Prentice-Hall International series in computer science
所蔵館33館
-
99
- Software development : a rigorous approach
-
Cliff B. Jones
Prentice/Hall International 1980 Prentice-Hall International series in computer science
所蔵館30館
-
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
所蔵館31館