Výsledky vyhledávání - "Prentice Hall International Series in Computer Science"

  • Zobrazuji výsledky 1 - 10 z 10
Upřesnit hledání
  1. 1

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

    Vydáno 1982
    Kniha
  2. 2

    Structured system proramming Autor Welsh, Jim

    Vydáno 1980
    Kniha
  3. 3

    Specification case studies

    Vydáno 1993
    Kniha
  4. 4

    Introduction to functional programming Autor Bird, Richard 1943-

    Vydáno 1988
    Kniha
  5. 5

    Real-time systems specification, verification, and analysis

    Vydáno 1996
    Kniha
  6. 6

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

    Vydáno 1988
    Kniha
  7. 7

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

    Vydáno 1994
    Kniha
  8. 8

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

    Vydáno 1988
    Kniha
  9. 9

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

    Vydáno 1996
    Kniha
  10. 10

    Applications of formal methods

    Vydáno 1995
    Kniha

Vyhledávací nástroje: