Proving programs correct
Saved in:
Main Authors: | |
---|---|
Published: |
Wiley,
|
Publisher Address: | New York |
Publication Dates: | c1979. |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | viii, 184 p.: ill. ; 23 cm. |
ISBN: | 0471033952 |
Index Number: | TP31 |
CLC: | TP31 |
Call Number: | TP31/A549/ |
Contents: |
Includes index. Bibliography: p. 170-182. |