Iteration theories : the equational logic of iterative processes /

Bibliographic Details
Main Author: Bloom, Stephen L., 1940-2010
Other Authors: Esik, Zoltán, 1951-
Format: Book
Published: Berlin : Springer, 1993.
Series:EATCS monographs on theoretical computer science
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908123231.0
008 111129s1993 wb||||| |||| 00| 0 eng d
020 |a 3540563784 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |a Bloom, Stephen L.,  |d 1940-2010. 
245 1 0 |a Iteration theories :   |b the equational logic of iterative processes /   |c Stephen L. Bloom, Zoltán Esik. 
260 |a Berlin :   |b Springer,   |c 1993. 
300 |a xv, 630 p. :  |b il. ;  |c 24 cm. 
490 0 |a EATCS monographs on theoretical computer science 
650 4 |a Lógica y significado de programas. 
650 4 |a Logics and meanings of programs. 
700 1 |9 4861  |a Esik, Zoltán,  |d 1951- 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-11-29 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F3_B655  |7 0  |9 10214  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 1  |o C F3 B655   |p 14660  |r 2023-01-24 00:00:00  |s 2009-08-28  |w 2008-06-09  |y LIBRO 
999 |c 7966  |d 7966