Search Results - "Prentice Hall international series in computer science"

  • Showing 1 - 17 results of 17
Refine Results
  1. 1

    Principles of protocol design / Robin Sharp. by Sharp, Robin

    Published 1994
    “…Prentice Hall international series in computer science…”
    Book
  2. 2

    Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. by Bakker, J. W. de (Jacobus Willem), 1939-

    Published 1980
    “…Prentice-Hall International series in computer science…”
    Book
  3. 3

    Category theory for computing science / Michael Barr and Charles Wells. by Barr, Michael, 1937-

    Published 1990
    “…Prentice Hall international series in computer science…”
    Book
  4. 4

    Computer science : a mathematical introduction : (applied mathematics, modeling, analysis and optimization techniques with applications to software systems) / Art Lew. by Lew, Art

    Published 1985
    “…Prentice-Hall international series in computer science…”
    Book
  5. 5

    Functional programming : application and implementation / (by) Peter Henderson. by Henderson, Peter, 1944-

    Published 1980
    “…Prentice-Hall international series in computer science…”
    Book
  6. 6

    How to solve it by computer. by Dromey, R. G., 1946-

    Published 1982
    “…Prentice-Hall international series in computer science…”
    Book
  7. 7

    Introduction to the theory of programming languages / Bertrand Meyer. by Meyer, Bertrand, 1950-

    Published 1990
    “…Prentice Hall International series in computer sciences…”
    Book
  8. 8

    Principles of programming languages / R.D. Tennent. by Tennent, R. D. (1944-)

    Published 1981
    “…Prentice-Hall international series in computer science…”
    Book
  9. 9

    Program construction and verification / Roland C. Backhouse. by Backhouse, Roland C. (Roland Carl), 1948-

    Published 1986
    “…Prentice-Hall international series in computer science…”
    Book
  10. 10

    Systematic software development using VDM / Cliff B. Jones. by Jones, Cliff B. (Cliff Bryn), 1944-

    Published 1986
    “…Prentice-Hall international series in computer science…”
    Book
  11. 11

    Systematic software development using VDM / Cliff B. Jones. by Jones, Cliff B. (Cliff Bryn), 1944-

    Edition: 2nd ed.
    “…Prentice-Hall international series in computer science…”
    Book
  12. 12

    Programming language syntax and semantics / David A. Watt ; with a contribution by Muffy Thomas. by Watt, David A. (David Anthony), 1946-

    Published 1991
    “…Prentice Hall international series in computer science…”
    Book
  13. 13

    Programming from specifications / Carroll Morgan. by Morgan, Carroll, 1952-

    Edition: 2nd ed.
    “…Prentice Hall international series in computer science…”
    Book
  14. 14

    Mathematics for computer science / A. Arnold and I. Guessarian. by Arnold, A. (André)

    Published 1996
    “…Prentice Hall international series in computer science…”
    Book
  15. 15

    Conceptual modelling / Magnus Boman ... (et al.).

    Published 1997
    “…Prentice Hall international series in computer science…”
    Book
  16. 16

    Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies. by Woodcock, Jim

    Published 1996
    “…Prentice Hall international series in computer science…”
    Book
  17. 17

    Semantics of programming languages / R.D. Tennent. by Tennent, R. D., 1944-

    Published 1991
    “…Prentice-Hall international series in computer science…”
    Book