76 books found.
Showing books 1 through 20:
|
| 1. |
|
Algebra of Programming
by Richard Bird, Oege De Moor
Paperback, Prentice Hall
(September 1996)
|
|
| 2. |
|
Foundations of Semantic Databases
by Bert De Brock
Paperback, Prentice Hall
(January 1995)
|
|
| 3. |
|
Object-Oriented Software Construction
by Bertrand Meyer
Paperback, Prentice Hall
(April 1997)
|
|
| 4. |
|
Mathematical Logic for Computer Science
by M. Ben-Ari
Paperback, Springer Verlag
(May 2001)
|
|
| 5. |
|
Essays in Computing Science
by C. A. R. Hoare, C.B. Jones
Hardcover, Prentice Hall
(February 1989)
|
|
| 6. |
|
Communication and Concurrency
by R. Milner
Paperback, Prentice Hall
(December 1995)
|
|
| 7. |
|
Principles of Concurrent And Distributed Programming
by M. Ben-Ari
Paperback, Addison-Wesley
(February 2006)
|
|
| 8. |
|
Reasoned Programming
by Krysia Broda (Editor), Susan Eisenbach, Hessam Khoshnevisan, Steve Vickers
Paperback, Prentice Hall Direct
(May 1994)
|
|
| 9. |
|
Case Studies in Systematic Software Development
by Cliff B. Jones, Roger C.F. Shaw (Editor)
Paperback, Prentice Hall
(December 1990)
|
|
| 10. |
|
Mathematics for Computer Science
by A. Arnold, Irene Guessarian, I. Guessarian
Paperback, Prentice Hall
(May 1996)
|
|
| 11. |
|
Introduction to the Theory of Programming Languages
by Bertrand Meyer
Paperback
(January 1990)
|
|
| 12. |
|
Object-Oriented Databases
by John G. Hughes
Hardcover
(January 1991)
|
|
| 13. |
|
Relational Database Management: A Systems Programming Approach
by M. Papazoglou, W. Valder
Paperback
(January 1989)
|
|
| 14. |
|
Verifiable Programming
by Ole Johan Dahl
Paperback, Prentice Hall
(June 1992)
|
|
| 15. |
|
Partial Evaluation and Automatic Program Generation
by Neil D. Jones, Carsten K. Gomard, Peter Sestoft
Paperback, Prentice Hall
(September 1993)
|
|
| 16. |
|
Object-Oriented Databases: A Semantic Data Model Approach
by Peter Gray, M.D. , Norman W. Paton, Krishnarao G. Kulkarni
Paperback, Prentice Hall
(March 1992)
|
|
| 17. |
|
Sequential Program Structures
by Jim Welsh, John Elder, David Bustard
Paperback
(January 1984)
|
|
| 18. |
|
Mathematical Theory of Program Correctness
by J. W. De Bakker
Book
(January 1980)
|
|
| 19. |
|
The Theory and Practice of Concurrency
by A. W. Roscoe
Paperback, Prentice Hall
(January 1998)
|
|
| 20. |
|
Construction of Data Processing Software
by John Elder
Paperback, Prentice Hall
(May 1984)
|
|
Prentice-Hall International Series in Computer Science
