Design and verification of distributed interacting processes /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Los Angeles :
Computer Science Dept., University of California,
1979
|
| Σειρά: | UCLA-ENG-7920 ;
; UCLA-34P214-87 |
| Θέματα: |