The Correctness problem in computer science
Saved in:
Group Author: | ; |
---|---|
Published: |
Academic Press,
|
Publisher Address: | London New York |
Publication Dates: | 1981. |
Literature type: | Book |
Language: | English |
Series: |
International lecture series in computer science |
Subjects: | |
Carrier Form: | xiii, 279 p.: ill. ; 24 cm. |
ISBN: | 0121229203 |
Index Number: | TP31 |
CLC: | TP31 |
Call Number: | TP31/C824/ |
Contents: | Includes bibliographies and index. |