Showing 1 - 10 results of 10 for search '"Prentice-Hall International series in computer science"', query time: 0.03s Refine Results
  1. 1

    Real-time systems specification, verification, and analysis

    Published 1996
    Book

    Real-time systems specification, verification, and analysis
  2. 2

    Mathematics for computer science by Arnold, A. (Andrâe) 1945-

    Published 1996
    Book

    Mathematics for computer science
  3. 3

    Applications of formal methods

    Published 1995
    Book

    Applications of formal methods
  4. 4

    Introduction to the theory of complexity by Bovet, Daniel P. (Daniel Pierre)

    Published 1994
    Book

    Introduction to the theory of complexity
  5. 5

    Specification case studies

    Published 1993
    Book

    Specification case studies
  6. 6

    An Introduction to functional programming by Bird, R. J. (Richard J.)

    Published 1988
    Book

    An Introduction to functional programming
  7. 7

    Introduction to functional programming by Bird, Richard 1943-

    Published 1988
    Book

    Introduction to functional programming
  8. 8

    Computer science a modern introduction by Goldschlager, L. 1951-

    Published 1988
    Book

    Computer science a modern introduction
  9. 9

    Formal specification and software development by Bjørner, Dines 1937-

    Published 1982
    Book

    Formal specification and software development
  10. 10

    Structured system proramming by Welsh, Jim

    Published 1980
    Book

    Structured system proramming

Search Tools: