عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35,I56 1993
QA
76
.
9
.
M35
,
I56
1993
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Terms of Availability and/or Price
خریداری
NATIONAL BIBLIOGRAPHY NUMBER
Number
02BL0000000002513
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Iteration theories
First Statement of Responsibility
Stephen L. Bloom, Zoltخ n اsik
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 630 p. : ill. ; 24 cm
Other Physical Details
, 2116 , 2-1
SERIES
Series Title
EATCS monographs on theoretical computer science
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
the equational logic of iterative processes
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
غیرمرجع
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references )p. ]621[-630(.
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science -- Mathematics
Entry Element
Iterative methods )Mathematics(
Entry Element
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
9
Classification Record Number
.
M35
,
I56
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Bloom, Stephen L., 1940-
PERSONAL NAME - SECONDARY RESPONSIBILITY
Relator Code
AU
Entry Element
اsik, Zoltخ n, 1951-
