Cover Image

Specification and verification of concurrent systems /

Show other versions (1)
Bibliographic Details
Corporate Authors: British Computer Society, BCS-FACS Workshop on Specification and Verification of Concurrent Systems
Other Authors: Rattray, C. (Charles), 1938-
Format: Conference Proceeding Book
Language:English
Published: London ; New York : Springer-Verlag, [1990]
Series:Workshops in computing.
Subjects:
Parallel processing (Electronic computers) > Congresses.
Search Result 1
Cover Image
Published 1990
Connect to the full text of this electronic book
Conference Proceeding eBook
Show all versions (2)