Communicating sequential processes
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Hoare, C. A. R. (Charles Antony Richard), 1934- |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Englewood Cliffs, N.J. :
Prentice/Hall International,
c1985.
|
| Σειρά: | Prentice-Hall international series in computer science
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Fundamentals of sequential and parallel algorithms
από: Berman, Kenneth A.
Δημοσίευση: (1997) -
Verifying concurrent processes using temporal logic
από: Hailpern, Brent T. (Brent Tzion) 1955-
Δημοσίευση: (1982) -
Parallel computing works!
από: Fox, Geoffrey C.
Δημοσίευση: (1994) -
Process algebra
από: Baeten, J. C. M.
Δημοσίευση: (1990) -
Parallel and sequential methods for ordinary differential equations
από: Burrage, Kevin
Δημοσίευση: (1995)