Unifying theories of programming /

Bibliographic Details
Main Author: Hoare, Charles Antony Richard, 1934-
Other Authors: He, Jifeng, 1943-
Format: Book
Language:English
Published: London : Prentice-Hall, 1998.
Series:Prentice-Hall series in computer science
Subjects:

MARC

LEADER 00000nam a2200000 4500
003 AR_CdUFM
005 20190822145954.0
008 100813s1998 enk||||| |||| 00| 0 eng d
020 |a 0134587618 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |a Hoare, Charles Antony Richard,  |d 1934-  |9 7652 
245 1 0 |a Unifying theories of programming /  |c Charles Antony Richard Hoare, He Jifeng. 
260 |a London :   |b Prentice-Hall,   |c 1998. 
300 |a 298 p. ;  |c 24 cm. 
490 0 |a Prentice-Hall series in computer science 
650 4 |a Lógica matemática. 
650 4 |a Lenguajes formales. 
650 4 |a Mathematical logic.  
650 4 |a Formal languages. 
700 1 |9 7367  |a He, Jifeng,   |d 1943- 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-06-29 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F4_H679  |7 0  |9 7252  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 1  |o C F4 H679   |p 13978  |r 2023-01-24 00:00:00  |s 2011-08-11  |w 2008-06-09  |y LIBRO 
999 |c 5474  |d 5474