Program construction and verification /
Main Author: | |
---|---|
Format: | Book |
Published: |
Englewood Cliffs, NJ.:
Prentice-Hall International,
c1986
|
Series: | Prentice-Hall international series in computer science
|
Subjects: |
Physical Description: | xi, 281 p. : ill. ; 23 cm. |
---|---|
Bibliography: | Includes bibliography and index. |
ISBN: | 0137291469 |