Risultati della ricerca - "Prentice Hall International Series in Computer Science"

  • Mostra 1 - 10 risultati su 10
Raffina i risultati
  1. 1

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

    Pubblicazione 1982
    Libro


    Copertina
  2. 2

    Structured system proramming di Welsh, Jim

    Pubblicazione 1980
    Libro


    Copertina
  3. 3

    Specification case studies

    Pubblicazione 1993
    Libro


    Copertina
  4. 4

    Introduction to functional programming di Bird, Richard 1943-

    Pubblicazione 1988
    Libro


    Copertina
  5. 5

    Real-time systems specification, verification, and analysis

    Pubblicazione 1996
    Libro


    Copertina
  6. 6

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

    Pubblicazione 1988
    Libro


    Copertina
  7. 7

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

    Pubblicazione 1994
    Libro


    Copertina
  8. 8

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

    Pubblicazione 1988
    Libro


    Copertina
  9. 9

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

    Pubblicazione 1996
    Libro


    Copertina
  10. 10

    Applications of formal methods

    Pubblicazione 1995
    Libro


    Copertina

Strumenti per la ricerca: