Specification and verification of concurrent systems /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), British Computer Society, BCS-FACS Workshop on Specification and Verification of Concurrent Systems
Other Authors:	Rattray, C. (Charles), 1938-
Format:	Conference Proceeding eBook
Language:	English
Published:	London ; New York : Springer-Verlag, 1990.
Series:	Workshops in computing.
Subjects:	Parallel processing (Electronic computers) > Congresses. Parallelle verwerking. Parallel processing (Electronic computers) Computer systems > Operating systems > Concurrent programming Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Available Online