Research Catalog
Program verification using Ada
- Title
- Program verification using Ada / Andrew D. McGettrick.
- Author
- McGettrick, Andrew D., 1944-
- Publication
- Cambridge ; New York : Cambridge University Press, 1982.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 83-560 | Offsite |
Details
- Description
- 345 p.; 24 cm.
- Series Statement
- Cambridge computer science texts ; 13
- Subjects
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. 335-339.
- Call Number
- JSE 83-560
- ISBN
- 0521242150
- 0521285313 (pbk.)
- LCCN
- 81012276
- OCLC
- 7732725
- NYPG83-B48876
- Author
- McGettrick, Andrew D., 1944-
- Title
- Program verification using Ada / Andrew D. McGettrick.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1982.
- Series
- Cambridge computer science texts ; 13
- Bibliography
- Bibliography: p. 335-339.
- Research Call Number
- JSE 83-560