عنوان
پدید آورنده
موضوع
رده
QA 76.58 .J83 2002
QA
76
.
58
.
J83
2002
کتابخانه
محل استقرار
1-40207025-x
IR
45525
انگلیسی
IR
Compositional verification of concurrent and real-time systems
[Book]
/ by Eric Y.T. Juan, Jeffrey J.P. Tsai
Boston
: Kluwer Academic Publishers
, c2002
xvii, 196 p.
:ill.
; 25 cm
The Kluwer international series in engineering and computer science
;
English
Includes bibliographical references (p. [187]-193) and index
Real-time data processing
Computer systems -- Verification
QA
76
.
58
.
J83
2002
Juan, Eric Y. T, author
Tsai, Jeffrey J.P., author
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
