Showing 1 - 8 results of 8 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

    Applications of formal methods

    Published 1995
    Book

    Applications of formal methods
  3. 3

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

    Published 1994
    Book

    Introduction to the theory of complexity
  4. 4

    Specification case studies

    Published 1993
    Book

    Specification case studies
  5. 5

    Introduction to functional programming by Bird, Richard 1943-

    Published 1988
    Book

    Introduction to functional programming
  6. 6

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

    Published 1988
    Book

    An Introduction to functional programming
  7. 7

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

    Published 1982
    Book

    Formal specification and software development
  8. 8

    Structured system proramming by Welsh, Jim

    Published 1980
    Book

    Structured system proramming

Search Tools: