Specification and Proof in real- time CSP /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Cambridge :
Press Sydicate,
c1993.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Athi-River Campus: Open Shelves
| Դասիչ: |
PE1417.A13 |
|---|---|
| Շտրիխ կոդ BK017756 | Հասանելի է Տեղադրեք պահում |