Enlarge

Specification and verification of concurrent systems

Publication Data

Title Specification and verification of concurrent systems
Contributor C. Rattray
Publisher Springer-Verlag
Publication date 1990
Publication location London
Language English

Descriptive Notes

Conference proceedings.

Topics

Parallel processing (Electronic computers) :: Congresses

Catalogue Data

OBNB ID GB9012550
ISBN 10 3540195815
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.42

ISBD

P1053 612p.
P1042 Includes bibliographies and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Specification and verification of concurrent systems. ISBN 3540195815. Published by Springer-Verlag in 1990. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.