Program construction and verification
Saved in:
Main Author: | |
---|---|
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|| |