Program verification / Nissim Francez.
| Author/creator | Francez, Nissim |
| Format | Book |
| Publication Info | Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., ©1992. |
| Description | xi, 312 pages : illustrations ; 24 cm |
| Subjects |
| Bibliography note | Includes bibliographical references (p. 295-303) and index. |
| LCCN | 92025895 |
| ISBN | 0201416085 : |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.V47 F73 1992 | ✔ Available | Place Hold |