/LC.GIF&client=easterncarolinaedu)
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog.
| Author/creator | Apt, Krzysztof R., 1949- |
| Other author | Olderog, E.-R. |
| Format | Book |
| Publication Info | New York : Springer-Verlag, ©1991. |
| Description | xvi, 441 pages ; 25 cm. |
| Subjects |
| Series | Texts and monographs in computer science Texts and monographs in computer science. ^A223444 |
| Bibliography note | Includes bibliographical references and indexes. |
| LCCN | 91007267 |
| ISBN | 0387975322 (Springer-Verlag New York Berlin Heidelberg : acid-free paper) |
| ISBN | 3540975322 (Springer-Verlag Berlin Heidelberg New York : acid-free paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.V47 A67 1991 | ✔ Available | Place Hold |