Type | Book |
ชื่อเรื่อง | Process algebra for parallel and distributed processing [electronic resource] / edited by Michael Alexander, William Gardner |
ISBN | 142006486X |
| 142006486X (alk. paper) |
| 9780429144349 (e-book) |
| 9781420064865 |
| 9781420064865 (alk. paper) |
| 9781420064872 (e-book : PDF) |
พิมพลักษณ์ | Boca Raton : CRC Press, c2009 |
รูปเล่ม | xxii, 415 p |
ลิงค์ | Taylor & Francis eBooks |
หัวเรื่อง | Formal methods (Computer science) |
| Electronic data processing |
| Electronic data processing --Distributed processing [] |
| Parallel processing (Electronic computers) |