Text ( visual ) : unmediatedSpecification and verification of concurrent systems / C. Rattray, (ed.). -- : Germany ; : U.S.. -- London ; Tokyo : Springer-Verlag , c1990. -- viii, 612 p. : ill. ; 25 cm. -- (Workshops in computing). -- "Published in collaboration with the British Computer Society" ; "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 ; Incudes bibliographical references and index. -- ISBN 3540195815 ; 0387195815 ; (BA10793637) ; http://ci.nii.ac.jp/ncid/BA10793637
Author Heading(s): Rattray, C. (Charles) ; British Computer Society ; BCS-FACS Workshop on Specification and Verification of Concurrent Systems. -- Classification(s): LCC : QA76.58 ; DC20 : 004/.35. -- Subject Heading(s): LCSH : Parallel processing (Electronic computers) -- Congresses