Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism /
Tác giả: Rao, Josyula Ramachandra.
Kiểu tài liệu:
SáchTùng thư: Lecture notes in computer science ; 908. Xuất bản: Berlin ; New York : Springer-Verlag, 1995Mô tả vật lý: 178 p. : 24 cm.Số ISBN: 3540591737 .Chủ đề: Parallel programming (Computer science) | Computer software -- Verification
| Kiểu tài liệu | Kho hiện tại | Ký hiệu phân loại | Trạng thái | Ngày hết hạn | ĐKCB | Số lượng đặt mượn |
|---|---|---|---|---|---|---|
Sách chuyên khảo
|
Trung tâm Thông tin - Tư liệu
Trung tâm Thông tin - Tư liệu |
005.2 (Xem kệ sách) | Sẵn sàng | ISI.LV03521 |
Tổng số đặt mượn: 0
Hiện tại chưa có bình luận nào về tài liệu này.