عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35 I56 1993
QA
76
.
9
.
M35
I56
1993
کتابخانه
محل استقرار
English
Iteration theories : the equational logic of iterative processes
Berlin
Springer-Verlag
1993
xv, 630 p. : ill. ; 24 cm
EATCS monographs on theoretical computer science
Includes bibliographical references )p. )621(-630(
Stephen L. Bloom, Zoltan Esik
1
، Computer science - Mathematics
، Iterative methods )Mathematics(
، Logic, Symbolic and mathematical
QA
76
.
9
.
M35
I56
1993
CA
005
.
13/1
0491-
Bloom, Stephen L.
AU
AU Esik, Zoltan 1951-
TI
SE
