Cover Image

Specification and verification of concurrent systems /

Show other versions (1)
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
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"--Preface.
Electronic resource.
Physical Description:1 online resource (viii, 612 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references and index.
ISBN:9781447135340 (electronic bk.)
1447135342 (electronic bk.)