Program verification using Ada
Saved in:
| Main Author: | |
|---|---|
| Format: | Livre papier |
| Language: | Anglais |
| Published: |
Cambridge ; New York :
Cambridge University Press
1982.
|
| Series: | Cambridge computer science texts
13 |
| Subjects: | |
| Autres localisations: | Voir dans le Sudoc |
| Physical Description: | 1 vol. (345 p.) : ill. ; 24 cm. |
|---|---|
| Bibliography: | Bibliogr. p. 335-339. Index |
| ISBN: | 0521242150 0521285313 (pbk.) |