Vista normal Vista MARC Vista ISBD

Specification and verification of concurrent systems / C. rattray, ed. - 612 páginas - Workshops in computing .

"papers presented at the bcs-facs workshop on specification and verification of concurrent systems held on 6-8 july 1988, at the university of stirling, scotland" -- pref.

ISBN: 0387195815

Subjects--Topical Terms:
Procesamiento paralelo (Computadoras electrónicas)

LC Class. No.: QA76.58 / S64