Εμφανίζονται 1 - 10 Αποτελέσματα από 10 για την αναζήτηση '"Prentice-Hall international series in computer science"', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1

    Real-time systems specification, verification, and analysis

    Έκδοση 1996
    Βιβλίο

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

    Mathematics for computer science ανά Arnold, A. (Andrâe) 1945-

    Έκδοση 1996
    Βιβλίο

    Mathematics for computer science
  3. 3

    Applications of formal methods

    Έκδοση 1995
    Βιβλίο

    Applications of formal methods
  4. 4

    Introduction to the theory of complexity ανά Bovet, Daniel P. (Daniel Pierre)

    Έκδοση 1994
    Βιβλίο

    Introduction to the theory of complexity
  5. 5

    Specification case studies

    Έκδοση 1993
    Βιβλίο

    Specification case studies
  6. 6

    An Introduction to functional programming ανά Bird, R. J. (Richard J.)

    Έκδοση 1988
    Βιβλίο

    An Introduction to functional programming
  7. 7

    Introduction to functional programming ανά Bird, Richard 1943-

    Έκδοση 1988
    Βιβλίο

    Introduction to functional programming
  8. 8

    Computer science a modern introduction ανά Goldschlager, L. 1951-

    Έκδοση 1988
    Βιβλίο

    Computer science a modern introduction
  9. 9

    Formal specification and software development ανά Bjørner, Dines 1937-

    Έκδοση 1982
    Βιβλίο

    Formal specification and software development
  10. 10

    Structured system proramming ανά Welsh, Jim

    Έκδοση 1980
    Βιβλίο

    Structured system proramming

Εργαλεία αναζήτησης: