Showing 1 - 10 results of 10 for search '"Prentice-Hall International series in computer science"', tempo de consulta: 0.03s Limitar resultados
  1. 1

    Real-time systems specification, verification, and analysis

    Publicado 1996
    Libro

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

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

    Publicado 1996
    Libro

    Mathematics for computer science
  3. 3

    Applications of formal methods

    Publicado 1995
    Libro

    Applications of formal methods
  4. 4

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

    Publicado 1994
    Libro

    Introduction to the theory of complexity
  5. 5

    Specification case studies

    Publicado 1993
    Libro

    Specification case studies
  6. 6

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

    Publicado 1988
    Libro

    An Introduction to functional programming
  7. 7

    Introduction to functional programming por Bird, Richard 1943-

    Publicado 1988
    Libro

    Introduction to functional programming
  8. 8

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

    Publicado 1988
    Libro

    Computer science a modern introduction
  9. 9

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

    Publicado 1982
    Libro

    Formal specification and software development
  10. 10

    Structured system proramming por Welsh, Jim

    Publicado 1980
    Libro

    Structured system proramming

Ferramentas de procura: