著者
書誌事項
Prentice-Hall International series in computer science
Prentice-Hall International
- タイトル別名
-
Prentice Hall International series in computer science
この図書・雑誌をさがす
-
41
- An introduction to program fault tolerance : a structured programming approach
-
Ali Mili ; with contributions by Sayda, Ben Larbi ... [et al.] ; foreword by Gabrièle Saucier
Prentice Hall 1990 Prentice-Hall International series in computer science
: pbk.
所蔵館2館
-
42
- Systematic software development using VDM
-
Cliff B. Jones
Prentice Hall 1990 2nd ed Prentice-Hall International series in computer science
所蔵館7館
-
43
- Programming : the derivation of algorithms
-
A. Kaldewaij
Prentice Hall 1990 Prentice-Hall International series in computer science
所蔵館12館
-
44
- Programming language concepts and paradigms
-
David A. Watt ; with contributions by William Findlay, John Hughes
Prentice Hall 1990 Prentice-Hall International series in computer science
: pbk
所蔵館18館
-
45
- Computer and communication systems performance modelling
-
Peter J.B. King
Prentice Hall 1990 Prentice-Hall International series in computer science
pbk
所蔵館18館
-
46
- Programming from specifications
-
Carroll Morgan
Prentice Hall 1990 Prentice-Hall International series in computer science
: , pbk.
所蔵館8館
-
47
- Introduction to the theory of programming languages
-
Bertrand Meyer
Prentice Hall 1990 Prentice-Hall International series in computer science
: hard , : pbk
所蔵館26館
-
48
- Principles of concurrent and distributed programming
-
M. Ben-Ari
Prentice Hall c1990 Prentice-Hall International series in computer science
所蔵館24館
-
49
- Case studies in systematic software development
-
edited by Cliff B. Jones and Roger C. F. Shaw
Prentice-Hall 1990 Prentice-Hall International series in computer science
所蔵館13館
-
50
- Category theory for computing science
-
Michael Barr, Charles Wells
Prentice Hall 1990 Prentice-Hall International series in computer science
所蔵館22館
-
51
- Scientific applications of multiprocessors
-
edited by R. Elliott and C.A.R. Hoare
Prentice Hall 1989 Prentice-Hall International series in computer science
所蔵館8館
-
52
- The Z notation : a reference manual
-
J.M. Spivey ; based on the work of J.R. Abrial ... [et al.]
Prentice Hall 1989 Prentice-Hall International series in computer science
所蔵館10館
-
53
- Communication and concurrency
-
Robin Milner
Prentice Hall 1989 Prentice-Hall International series in computer science
: pbk
所蔵館59館
-
54
- Essays in computing science
-
C.A.R. Hoare ; C.B. Jones, (editor)
Prentice Hall 1989 Prentice-Hall International series in computer science
所蔵館33館
-
55
- Programming in occam 2
-
Geraint Jones, Michael Goldsmith
Prentice Hall 1988 Prentice-Hall International series in computer science
所蔵館15館
-
56
- Introduction to programming in Prolog
-
Danny Crookes
Prentice Hall 1988 Prentice-Hall International series in computer science
所蔵館6館
-
57
- Concurrent program structures
-
David Bustard, John Elder, Jim Welsh
Prentice Hall 1988 Prentice-Hall International series in computer science
: pbk.
所蔵館20館
-
58
- Programming language theory and its implementation : applicative and imperative paradigms
-
Michael J.C. Gordon
Prentice-Hall 1988 Prentice-Hall International series in computer science
: pbk.
所蔵館20館
-
59
- Database technology : a software engineering approach
-
John G. Hughes
Prentice-Hall 1988 Prentice-Hall International series in computer science
: pbk
所蔵館16館
-
60
- Computer science : a modern introduction
-
Les Goldschlager, Andrew Lister
Prentice Hall 1988 2nd ed Prentice-Hall International series in computer science
: pbk
所蔵館28館