Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules /

Bibliographic Details
Main Author: Hesselink, Wim Hendrik, 1946-
Format: Book
Language:English
Published: Cambridge : Cambridge University, 1992.
Series:Cambridge tracts in theoretical computer science ; 27
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122750.0
008 111130s1992 enk||||| |||| 00| 0 eng d
020 |a 0521404363 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 7516  |a Hesselink, Wim Hendrik,  |d 1946- 
245 1 0 |a Programs, recursion and unbounded choice :   |b predicate-transformation semantics and transformation rules /  |c Wim H. Hesselink. 
260 |a Cambridge :   |b Cambridge University,   |c 1992. 
300 |a xii, 223 p. ;  |c 26 cm. 
490 0 |a Cambridge tracts in theoretical computer science ;   |v 27 
650 4 |a Lógica matemática-Computación. 
650 4 |a Mathematical logic-Computation. 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-11-30 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F41_H587  |7 0  |9 7270  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C F4.1 H587   |p 13998  |r 2023-01-24  |w 2008-06-09  |y LIBRO 
999 |c 5491  |d 5491