Tools

LEADER 01504cam 2200385 a 4500

001 ocm27640709;

003 OCoLC;

005 20141212103335.0;

008 930209s1993 gw a b 000 0 eng ;

010 a| 93018445;

020 a| 3540563784 (Berlin : acid-free paper);

020 z| 0387563784(New York : acid-free paper);

035 a| (Sirsi) o27640709;

035 a| (OCoLC)27640709;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.M35b| I56 1993;

082 00 a| 005.13/12| 20;

100 1 a| Bloom, Stephen L.,d| 1940-=| ^A330296;

245 10 a| Iteration theories :b| the equational logic of iterative processes /c| Stephen L. Bloom, Zoltán Ésik.;

300 a| xv, 630 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| EATCS monographs on theoretical computer science;

504 a| Includes bibliographical references (p. [621]-630).;

650 0 a| Computer sciencex| Mathematics.=| ^A236643;

650 0 a| Iterative methods (Mathematics)=| ^A19810;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

700 1 a| Ésik, Zoltán,d| 1951-=| ^A328136;

830 0 a| EATCS monographs on theoretical computer science.=| ^A201854;

596 a| 1;

998 a| 498268;

999 a| QA76.9.M35 I56 1993w| LCc| 1i| 30372008135995d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $98.00r| Ys| Yt| JGESBKu| 10/22/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Iteration theories : the equational logic of iterative processes / Stephen L. Bloom, Zoltán Ésik.

Author/creator	Bloom, Stephen L., 1940-
Other author	Ésik, Zoltán, 1951-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1993.
Description	xv, 630 pages : illustrations ; 24 cm.
Subjects	Computer science--Mathematics. Iterative methods (Mathematics) Logic, Symbolic and mathematical.

Series	EATCS monographs on theoretical computer science EATCS monographs on theoretical computer science. ^A201854
Bibliography note	Includes bibliographical references (p. [621]-630).
LCCN	93018445
ISBN	3540563784 (Berlin : acid-free paper)

Iteration theories : the equational logic of iterative processes / Stephen L. Bloom, Zoltán Ésik.

Click here for more information about this title