Solving problems on concurrent processors
| Κύριος συγγραφέας: | Fox, Geoffrey C. |
|---|---|
| Άλλοι συγγραφείς: | Johnson, Mark A., Lyzenga, Gregory A. |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Englewood Cliffs, New Jersey
Prentice Hall
|
| Θέματα: |
Παρόμοια τεκμήρια
-
The massively parallel processor
Έκδοση: (1985) -
Logics and models of concurrent systems /
Έκδοση: (1985) -
Verifying concurrent processes using temporal logic
ανά: Hailpern, Brent T. 1955- ((Brent Tzion))
Έκδοση: (1982) -
Solving problems on concurrent processors
ανά: Fox, Geoffrey C. -
Linear time, branching time and partial order in logics and models for concurrency
Έκδοση: (1989)