Compositional verification of concurrent and real-time systems :: Eric Y. T. Juan :: ISBN 140207025X :: Kluwer Academic Publishers 2002 :: OBNB, the Open British National Bibliography

Publication Data

Title Compositional verification of concurrent and real-time systems
Author Eric Y. T. Juan
Contributor Jeffrey J.-P Tsai
Publisher Kluwer Academic Publishers
Publication date 2002
Publication location Boston
Language English

Topics

Parallel processing (Electronic computers)
Real-time data processing
Computer systems :: Verification

Catalogue Data

OBNB ID GBA234578
ISBN 10 140207025X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.35

ISBD

P1053 xvii, 196 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:

Compositional verification of concurrent and real-time systems by Eric Y. T. Juan. ISBN 140207025X. Published by Kluwer Academic Publishers in 2002. Publication and catalogue information, links to buy online and reader comments.