A connotational theory of program structure /

Saved in:
Bibliographic Details
Main Author: Royer, James S.
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1987.
Series:Lecture notes in computer science ; 273.
Subjects:
LEADER 01128nam a2200301 a 4500
001 c000161089
003 CARM
005 19990202000000.0
008 871222s1987 wb b 001 0 eng
010 |a 87023304 
019 1 |a 5637143  |5 LACONCORD2021 
020 |a 0387182535  |b (pbk. : U.S.) 
035 |a (OCoLC)16917747  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC  |d LC 
050 0 0 |a QA76.6  |b .R69 1987 
082 0 0 |a 005.1  |2 19 
100 1 |a Royer, James S. 
245 1 2 |a A connotational theory of program structure /  |c James S. Royer. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1987. 
300 |a 186 p. ;  |c 25 cm. 
440 0 |a Lecture notes in computer science ;  |v 273. 
500 |a A revision of author's thesis (Ph. D.--State University of New York at Buffalo). 
500 |a Includes indexes. 
504 |a Bibliography: p. [176]-181. 
650 0 |a Computer programming. 
852 8 |b CARM  |h A2:AM13E0  |i C05525  |p 0212317  |f BK 
999 f f |i bc43582b-c12b-5992-9b35-7e24142f57d2  |s 69a930f9-ab5f-5dcc-912a-ae08902de2c6 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05525  |f A2:AM13E0  |h Other scheme  |i book  |m 0212317