عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1426
QA
76
.
L28
Vol
.
1426
کتابخانه
محل استقرار
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems
Frederic Geurts
Berlin
Springer-Verlag
c1999
xiv, 280 p.: ill., tables
Lecture notes in computer science; 6241
Bibliography: p.]257[-272
ISBN 3540655069
1
، Abstract data types )Computer science(
، System analysis
، Electronic data processing -- Structured techniques
QA
76
.
L28
Vol
.
1426
Geurts, Frederic
AU
TI
SE
