Development methods for computer programs including a notion of interference /

Saved in:
Bibliographic Details
Main Author: Jones, C. B.
Corporate Author: Oxford University Computing Laboratory. Programming Research Group
Format: Book
Language:English
Published: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1981.
Series:Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ; PRG-25.
Subjects:
LEADER 01231nam a2200265 a 4500
001 c000068836
003 CARM
005 00000000000000.0
008 870611s1981 enka b 00010 eng d
019 1 |a 4010495  |5 LACONCORD2021 
035 |a (OCoLC)83264272  |5 LACONCORD2021 
040 |a NWU  |c NWU 
100 1 |a Jones, C. B. 
245 1 0 |a Development methods for computer programs including a notion of interference /  |c by C.B. Jones. 
260 |a Oxford :  |b Oxford University Computing Laboratory, Programming Research Group,  |c 1981. 
300 |a 1 v. (various pagings) :  |b ill. ;  |c 30 cm. 
490 1 |a Technical monograph / Oxford University Computing Laboratory, Programming Research Group ;  |v PRG-25 
504 |a Includes bibliography. 
650 0 |a Computer programs. 
710 2 0 |a Oxford University Computing Laboratory.  |b Programming Research Group 
830 0 |a Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;  |v PRG-25. 
852 8 |b CARM  |h A2:AP15D3  |i D04664  |p 0191633  |f BK 
082 0 4 |a 001.642  |2 19 
999 f f |i 4327b53f-1718-5c64-95de-3a94a42f1304  |s 3223e8a1-1a2b-5072-a7fc-1e8020be054f 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e D04664  |f A2:AP15D3  |h Other scheme  |i book  |m 0191633