Program construction and verification

Saved in:
Bibliographic Details
Main Author: Backhouse, Roland C. 1948-
Format: Unknown
Published: Englewood Cliffs, N.J. Prentice-Hall International 1986
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000n a2200000 a 4501
001 wils-001780
005 202206132325
020 # # |a 0137291469 
090 0 0 |a QA76.7  |b .B28 1986 
100 1 # |a Backhouse, Roland C.  |c 1948- 
245 1 1 |a Program construction and verification  |c Roland C. Backhouse 
260 # # |a Englewood Cliffs, N.J.  |b Prentice-Hall International  |c 1986 
300 # # |a xi, 281 p.  |b ill.  |c 24 cm 
500 # # |a Includes index. 
504 # # |a Bibliography: p. 220-223. 
650 # 0 |a Electronic digital computers  |x Programming 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=001780 
964 # # |c BOK  |d 01 
040 # # |a Shah Alam 
998 # # |a 00260##a002.17.2||00260##b002.17.2||00260##c002.17.2||00300##a002.17.2||00300##b002.17.2||00300##c002.17.2||00500##a002.17.2||