Specification and Verification of Concurrent Systems (Workshops in Computing) - Softcover

Rattray, C.

 
9780387195810: Specification and Verification of Concurrent Systems (Workshops in Computing)
Softcover
ISBN 10: 0387195815 ISBN 13: 9780387195810
Publisher: Springer Verlag, 1990

Synopsis

"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.

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1990
Language
English
ISBN 10 
0387195815
ISBN 13 
9780387195810
Binding
Paperback

Other Popular Editions of the Same Title

9783540195818: Specification and Verification of Concurrent Systems (Workshops in Computing)

Featured Edition

ISBN 10:  3540195815 ISBN 13:  9783540195818
Publisher: Springer, 1990
Softcover