GIỜ PHỤC VỤ BẠN ĐỌC

Hiển thị đơn giản Hiển thị MARC Hiển thị ISBD

Rao, Josyula Ramachandra,

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism / Josyula Ramachandra Rao. - Berlin ; New York : Springer-Verlag, 1995. - 178 p. : 24 cm. - Lecture notes in computer science ; 908 .

ISBN: 3540591737

Subjects--Topical Terms:
Parallel programming (Computer science)
Computer software--Verification.

Dewey Class. No.: 005.2