著者
書誌事項
Prentice-Hall International series in computer science
Prentice-Hall International
- タイトル別名
-
Prentice Hall International series in computer science
この図書・雑誌をさがす
-
21
- A Classical mind : essays in honour of C.A.R. Hoare
-
edited by A.W. Roscoe
Prentice Hall , Prentice Hall International c1994 Prentice-Hall International series in computer science
所蔵館9館
-
22
- Introduction to the theory of complexity
-
Daniel Pierre Bovet and Pierluigi Crescenzi
Prentice Hall c1994 Prentice-Hall International series in computer science
所蔵館47館
-
23
- Computation as logic
-
René Lalement ; translated by John Plaice
Masson , Prentice Hall c1993 Prentice-Hall International series in computer science
所蔵館19館
-
24
- Partial evaluation and automatic program generation
-
Neil D. Jones, Carsten K. Gomard, Peter Sestoft ; with chapters by Lars Ole Andersen and Torben Mogensen
Prentice Hall 1993 Prentice-Hall International series in computer science
所蔵館23館
-
25
- Specification case studies
-
edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.]
Prentice Hall International 1993 2nd ed Prentice-Hall International series in computer science
所蔵館11館
-
26
- Programming language processors : compilers and interpreters
-
David A. Watt
Prentice Hall International , Prentice Hall 1993 Prentice-Hall International series in computer science
: pbk.
所蔵館9館
-
27
- Mathematical logic for computer science
-
M. Ben-Ari
Prentice Hall 1993 Prentice-Hall International series in computer science
: pbk
所蔵館18館
-
28
- High-level programmer's guide to the 68000
-
Francis G. McCabe
Prentice Hall 1992 Prentice-Hall International series in computer science
所蔵館6館
-
29
- Abstract data types and Modula-2 : a worked example of design using data abstraction
-
Richard Mitchell
Prentice Hall 1992 Prentice-Hall International series in computer science
所蔵館8館
-
30
- Mechanized reasoning and hardware design
-
edited by C.A.R. Hoare and M.J.C. Gordon
Prentice Hall 1992 Prentice-Hall International series in computer science
所蔵館8館
-
31
- Parallel numerical algorithms
-
T.L. Freeman, C. Phillips
Prentice Hall 1992 Prentice-Hall International series in computer science
: pbk
所蔵館27館
-
32
- The Z notation : a reference manual
-
J. M. Spivey ; based on the work of J. R. Abrial ... [et al.]
Prentice Hall c1992 2nd ed Prentice-Hall International series in computer science
所蔵館15館
-
33
- Implementing functional languages
-
Simon L. Peyton Jones and David R. Lester
Prentice Hall 1992 Prentice-Hall International series in computer science
所蔵館14館
-
34
- Logic and objects
-
Francis G. McCabe
Prentice Hall c1992 Prentice-Hall International series in computer science
: pbk
所蔵館26館
-
35
- Object-oriented databases : a semantic data model approach
-
Peter M.D. Gray, Krishnarao G. Kulkarni, Norman W. Paton
Prentice Hall 1992 Prentice-Hall International series in computer science
所蔵館25館
-
36
- Verifiable programming
-
Ole-Johan Dahl
Prentice Hall 1992 Prentice-Hall International series in computer science
所蔵館16館
-
37
- Semantics of programming languages
-
R.D. Tennent
Prentice Hall International 1991 Prentice-Hall International series in computer science
: hard , : pbk
所蔵館20館
-
38
- An introduction to formal specification and Z
-
Ben Potter, Jane Sinclair, David Till
Prentice Hall 1991 Prentice-Hall International series in computer science
所蔵館12館
-
39
- Programming language syntax and semantics
-
David A. Watt ; with a contribution by Muffy Thomas
Prentice Hall 1991 Prentice-Hall International series in computer science
: pbk
所蔵館20館
-
40
- Object-oriented databases
-
J.G. Hughes
Prentice Hall c1991 Prentice-Hall International series in computer science
: hard , : pbk
所蔵館26館