Mostrar 1 - 8 resultats de 8 per cerca '"Prentice Hall international series in computer science)"', hora de la petició: 0.02sec Refinar resultats
  1. 1

    Real-time systems specification, verification, and analysis

    Publicat 1996
    Llibre

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

    Applications of formal methods

    Publicat 1995
    Llibre

    Applications of formal methods
  3. 3

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

    Publicat 1994
    Llibre

    Introduction to the theory of complexity
  4. 4

    Specification case studies

    Publicat 1993
    Llibre

    Specification case studies
  5. 5

    Introduction to functional programming per Bird, Richard 1943-

    Publicat 1988
    Llibre

    Introduction to functional programming
  6. 6

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

    Publicat 1988
    Llibre

    An Introduction to functional programming
  7. 7

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

    Publicat 1982
    Llibre

    Formal specification and software development
  8. 8

    Structured system proramming per Welsh, Jim

    Publicat 1980
    Llibre

    Structured system proramming

Eines de cerca: