Type and effect systems : behaviours for concurrency / Torben Amtoft, Flemming Nielson, Hanne Riis Nielson.
Material type: TextLanguage: English Publication details: London : Imperial College Press , 1999Description: 253 pISBN:- 1860941540
- 004.35 AMT 1999 21
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Sách, chuyên khảo, tuyển tập | Phòng DVTT KHTN & XHNV Kho Tự nhiên tham khảo | 004.35 AMT 1999 (Browse shelf(Opens below)) | 1 | Available | 01041000423 | ||
Sách, chuyên khảo, tuyển tập | Phòng DVTT Mễ Trì Kho tham khảo | 004.35 AMT 1999 (Browse shelf(Opens below)) | 1 | Available | 05041000496 |
There are no comments on this title.
Log in to your account to post a comment.