Specification and Proof in real- time CSP /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Cambridge :
Press Sydicate,
c1993.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| Ֆիզիկական նկարագրություն: | xvii,180 p. |
|---|---|
| ISBN: | 0521450551 |