Formal development of programs and proofs /

Bibliographic Details
Main Author: Dijkstra, Edsger Wybe, 1930-2002
Format: Book
Language:English
Published: Reading, Mass. : Addison-Wesley, 1990.
Series:The UT year of programming series
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122815.0
008 110512s1990 mau||||| |||| 00| 0 eng d
020 |a 0201172372 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 4214  |a Dijkstra, Edsger Wybe,   |d 1930-2002. 
245 1 0 |a Formal development of programs and proofs /  |c by Edsger W. Dijkstra. 
260 |a Reading, Mass. :   |b Addison-Wesley,   |c 1990. 
300 |a xiv, 241 p. :  |b il. ;  |c 25 cm. 
490 4 |a The UT year of programming series 
650 4 |a Programas-Verificación. 
650 4 |a Programs-Verification. 
650 4 |a Programas-Especificación. 
650 4 |a Programs-Specification. 
650 4 |a Programación automática. 
650 4 |a Automatic programming. 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-05-12 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F31_D575  |7 0  |9 7492  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 3  |o C F3.1 D575   |p 14244  |r 2023-11-06 00:00:00  |s 2023-10-31  |w 2008-06-09  |y LIBRO 
999 |c 5674  |d 5674