عنوان
پدید آورنده
موضوع
رده
QA 76.9 .S88B32 2002
QA
76
.
9
.
S88B32
2002
کتابخانه
محل استقرار
3-5-4043447-x
IR
45700
انگلیسی
IR
Process algebra with timing
[Book]
/ J.C.M. Baeten, C.A. Middelburg
Berlin; New York
: Springer
, c2002
xvii, 287 p.
:ill.
; 24 cm
Monographs in theoretical computer science
English
Includes bibliographical references (p. [275]-278) and index
System design
Discrete-time systems
Computer science -- Mathematics
QA
76
.
9
.
S88B32
2002
Baeten, J. C. M, author
Baeten, J. C. M
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
