Program construction and verification /

Main Author: Backhouse, Roland C.
Format: Book
Published: Englewood Cliffs, NJ.: Prentice-Hall International, c1986
Series:Prentice-Hall international series in computer science
Subjects:
LEADER 00782nam a2200205 a 4500
001 2032367
005 20171112000028.0
008 060708s1986----gr er 000 0 Eng d
020 |a 0137291469 
040 |a GR-AtNTU  |b gre 
082 0 |a 005 BAC 
100 1 0 |a Backhouse, Roland C. 
245 1 0 |a Program construction and verification /  |c Roland C. Backhouse 
260 1 0 |a Englewood Cliffs, NJ.:  |b Prentice-Hall International,  |c c1986 
300 1 0 |a xi, 281 p. :  |b ill. ;  |c 23 cm. 
490 0 0 |a Prentice-Hall international series in computer science 
504 0 0 |a Includes bibliography and index. 
650 1 0 |a Electronic digital computers  |x Programming 
952 |a GR-AtNTU  |b 59cc1d8e6c5ad13446f7fb50  |c 998a  |d 945l  |e 005 BAC  |t 2  |x m  |z Books 
952 |a GRThAnMak  |b 59cc999d6c5ad134460100fc  |c 998a  |d 945l  |x m  |z Books