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
-
1
- Distributed systems analysis with CCS
-
Glenn Bruns
Prentice Hall 1997 Prentice-Hall International series in computer science
Available at 9 libraries
-
2
- From logic programming to Prolog
-
Krzysztof R. Apt
Prentice Hall c1997 Prentice-Hall International series in computer science
Available at 7 libraries
-
3
- Algebra of programming
-
Richard Bird and Oege de Moor
Prentice Hall 1997 Prentice-Hall International series in computer science
Available at 27 libraries
-
4
- Semantics of sequential and parallel programs
-
Eike Best
Prentice Hall 1996 Prentice-Hall International series in computer science
pbk. : alk. paper
Available at 11 libraries
-
5
- Mathematics for computer science
-
A. Arnold and I. Guessarian
Prentice Hall 1996 Prentice-Hall International series in computer science
: pbk
Available at 16 libraries
-
6
- Logic and its applications
-
Edmund Burke and Eric Foxley
Prentice Hall 1996 Prentice-Hall International series in computer science
Available at 13 libraries
-
7
- Introduction to formal specification and Z
-
Ben Potter, Jane Sinclair, David Till
Prentice Hall 1996 2nd ed Prentice-Hall International series in computer science
pbk.
Available at 13 libraries
-
8
- An introduction to logic programming through Prolog
-
Michael Spivey
Prentice Hall c1996 Prentice-Hall International series in computer science
: pbk
Available at 12 libraries
-
9
- Using Z : specification, refinement, and proof
-
Jim Woodcock and Jim Davies
Prentice Hall 1996 Prentice-Hall International series in computer science
Available at 17 libraries
-
10
- Real-time systems : specification, verification, and analysis
-
edited by Mathai Joseph
Prentice Hall 1996 Prentice-Hall International series in computer science
:pbk
Available at 9 libraries
-
11
- Applications of formal methods
-
edited by Michael G. Hinchey and Jonathan Bowen
Prentice Hall 1995 Prentice-Hall International series in computer science
Available at 12 libraries
-
12
- Category theory for computing science
-
Michael Barr and Charles Wells
Prentice Hall c1995 2nd ed Prentice-Hall International series in computer science
Available at 20 libraries
-
13
- Foundations of semantic databases
-
Bert de Brock
Academic Service , Prentice Hall 1995 Prentice-Hall International series in computer science
Available at 18 libraries
-
14
- Cornerstones of undecidability
-
Grzegorz Rozenberg and Arto Salomaa
Prentice Hall 1994 Prentice-Hall International series in computer science
Available at 5 libraries
-
15
- Principles of protocol design
-
Robin Sharp
Prentice Hall 1994 Prentice-Hall International series in computer science
Available at 8 libraries
-
16
- Reasoned programming
-
K. Broda ... [et al.]
Prentice Hall 1994 Prentice-Hall International series in computer science
Available at 9 libraries
-
17
- Programming from specifications
-
Carroll Morgan
Prentice Hall 1994 2nd ed Prentice-Hall International series in computer science
Available at 14 libraries
-
18
- Finite transition systems : semantics of communicating systems
-
André Arnold ; translated by John Plaice
Masson , Prentice Hall c1994 Prentice-Hall International series in computer science
Available at 18 libraries
-
19
- Computer arithmetic systems : algorithms, architecture and implementation
-
Amos R. Omondi
Prentice Hall 1994 Prentice-Hall International series in computer science
Available at 6 libraries
-
20
- Compiler construction : a recursive descent model
-
John Elder
Prentice Hall 1994 Prentice-Hall International series in computer science
Available at 8 libraries