The Library of Congress > Linked Data Service > BIBFRAME Instances

Bibframe Instance

Title
Compositional verification of concurrent and real-time systems
Type
Print
Identified By
Lccn: 2002023653
Isbn: 140207025X (alk. paper)
Local: 2002023653 (Source: DLC)
Local: 31 (Source: DLC)
Supplementary Content
Publisher description (locator)
Note
Physical details: ill.
Dimensions
25 cm.
Extent
xvii, 196 p.
Provision Activity Statement
Boston : Kluwer Academic Publishers, c2002.
Provision Activity
Publication: Massachusetts 2002
Publication: Boston Kluwer Academic Publishers c2002
Responsibility Statement
by Eric Y.T. Juan, Jeffrey J.P. Tsai
Issuance
single unit
Series Statement
The Kluwer international series in engineering and computer science
Authorized Access Point
Compositional verification of concurrent and real-time systems