/LC.GIF&client=easterncarolinaedu)
Programming with specifications : an introduction to ANNA, a language for specifying Ada programs / David Luckham.
| Author/creator | Luckham, David C. |
| Format | Book |
| Publication Info | New York : Springer-Verlag, ©1990. |
| Description | xvi, 416 pages : illustrations ; 25 cm. |
| Subjects |
| Series | Texts and monographs in computer science Texts and monographs in computer science. ^A223444 |
| Bibliography note | Includes bibliographical references (p. [403]-410) and index. |
| LCCN | 90217560 |
| ISBN | 0387972544 (New York Berlin Heidelberg : alk. paper) |
| ISBN | 3540972544 (Berlin Heidelberg New York : alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.73.A54 L83 1990 | ✔ Available | Place Hold |