Concurrency verification : introduction to compositional and noncompositional methods :: ISBN 0521806089 :: Cambridge University Press 2001 :: OBNB, the Open British National Bibliography

Publication Data

Title Concurrency verification : introduction to compositional and noncompositional methods
Contributor W.-P. de Roever
Publisher Cambridge University Press
Publication date 2001
Publication location Cambridge
Language English

Topics

Parallel processing (Electronic computers)
Computer software :: Verification

Catalogue Data

OBNB ID GBA165769
ISBN 10 0521806089
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.35

ISBD

P1053 xxii, 776 p.
P1042 Includes bibliographical references and index.

Buy a copy

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

Concurrency verification : introduction to compositional and noncompositional methods. ISBN 0521806089. Published by Cambridge University Press in 2001. Publication and catalogue information, links to buy online and reader comments.