Iteration theories : the equational logic of iterative processes, : gw

Iteration theories : the equational logic of iterative processes, : gw

Stephen L. Bloom, Zoltán Ésik

Berlin ; Tokyo : Springer-Verlag, c1993

Book

Volume No.

: gw
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • AB
  • 22
  • 29

0013445

Regular

Details

Publication year

1993

Form

xv, 630 p. : ill. ; 24 cm

Series title

EATCS monographs on theoretical computer science

Note

Includes bibliographical references and index

Country of publication

Germany

Title language

English (eng)

Language of texts

English (eng)

Author information

Bloom, Stephen L., 1940-

Ésik, Zoltán, 1951-

Classification

LCC:QA76.9.M35

DC20:005.13/1

Subject

Computer science -- Mathematics

Iterative methods (Mathematics)

Logic, Symbolic and mathematical

ISBN

3540563784 (: gw)

NCID

BA20322761

Number

LCCN : 93018445