The design of well-structured and correct programs /

Bibliographic Details
Main Author: Alagic, Suad, 1946-
Other Authors: Arbib, Michael A., 1940-
Format: Book
Language:English
Published: New York : Springer, 1978.
Series:Texts and monographs in computer science
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20170705161154.0
008 101020s1978 nyu||||| |||| 00| 0 eng d
020 |a 0387902996 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 231  |a Alagic, Suad,  |d 1946- 
245 1 4 |a The design of well-structured and correct programs /   |c Suad Alagic, Michael A. Arbib. 
260 |a New York :   |b Springer,   |c 1978. 
300 |a x, 292 p. :  |b il. ;  |c 25 cm. 
490 0 |a Texts and monographs in computer science 
504 |a Bibliography: p. [249]-252. 
650 4 |a Lógica y significado de programas 
650 4 |a Logic and meanings of programs 
700 1 |9 582  |a Arbib, Michael A.,  |d 1940- 
942 |c LIBRO  |2   
945 |a MCR  |d 2010-10-20 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F3_A131  |7 0  |9 2465  |a MMA  |b MMA  |c 4  |d 2008-06-09  |l 0  |o C F3 A131   |p 06022  |r 2023-01-24 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 1953  |d 1953