MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20190805183111.0
008 110512s1994 nyu||||| |||| 00| 0 eng d
020 |a 0130988316 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |a Broda, Krysia,  |d 1949-  |9 2203 
245 1 0 |a Reasoned programming /   |c Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan, Steven Vickers. 
260 |a New York :   |b Prentice-Hall,   |c 1994. 
300 |a xvi, 296 p. :  |b il. ;  |c 24 cm. 
490 0 |a Prentice-Hall international series in computer science 
650 4 |a Programas-Verificación. 
650 4 |a Programs-Verification. 
650 4 |a Programas-Especificación. 
650 4 |a Programs-Specification. 
700 1 |9 4733  |a Eisenbach, Susan. 
700 1 |9 8882  |a Khoshnevisan, Hessam. 
700 1 |9 17844  |a Vickers, Steven. 
942 |c LIBRO 
945 |a MCR  |d 2011-05-12 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F31_B864  |7 0  |9 7472  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C F3.1 B864  |p 14220  |r 2023-01-24 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 5655  |d 5655