عنوان
پدید آورنده
موضوع
رده
QA,76.9,.A23,G48,1998
QA
,
76
.
9
,.
A23
,
G48
,
1998
کتابخانه
محل استقرار
alk. paper)
3540655069 (pbk.
IR
ebook29262
انگلیسی
IR
Abstract compositional analysis of iterated relations
[Electronic Resource]
:a structural approach to complex state transition systems
/ Fr?�d?�ric Geurts
fa
Berlin ;New York
: Springer,
, c1998.
xiv, 280 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 1426)
e
Includes bibliographical references (p. [257]-272) and index.
Lecture notes in computer science ;1426.0302-9743
Abstract data types (Computer science)
System analysis.
Electronic data processing--Structured techniques
005
.
7
,
3
QA
,
76
.
9
,.
A23
,
G48
,
1998
Geurts, Fr?�d?�ric
ایران
005.7,3
3540655069.pdf
0
0
old catalog
e
BL
1
a
Y
