Partial correctness of communicating processes and protocols /
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Oxford :
Oxford University Computing Laboratory, Programming Research Group,
1981.
|
| Σειρά: | Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;
PRG-20. |
| Θέματα: |
CARM 1 Store
| Ταξιθετικός Αριθμός: |
A2:AK07D0 C04980 |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη Κάντε κράτηση |