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.
Description
Item Description:"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.
"Published in collaboration with the British Computer Society."
Physical Description:viii, 612 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540195815 (Springer-Verlag Berlin)
0387195815 (Springer-Verlag New York : alk. paper)