| Shelfclass_id | 3.D.1 |
| Sortkey | MCGETTRICK, ANDREW D. |
| Authors | Andrew D. McGettrick |
| Title | Program Verification using Ada |
| Publisher | Cambridge University Press |
| Year | 1982 |
| Languages | eng |
| Isbn | 0521242150, 0521285313 |
| Series | Cambridge computer science texts |
| Volume | 13 |
| Description | (pbk.) 345 p. 24 cm. |
| Record date | 20080306 |
| Location | New York |
| Keywords | Computer programs, Ada (Computer program language) |
| Notes | Includes index. |