/LC.GIF&client=easterncarolinaedu)
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 / edited by Hartmut Ehrig [and others].
| Author/creator | International Joint Conference on Theory and Practice of Software Development |
| Other author | Ehrig, Hartmut. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, 1985. |
| Description | 2 volumes : illustrations ; 22 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 185, 186 Lecture notes in computer science 185, 186. ^A466336 |
| Contents | v. 1. Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) -- v. 2. Formal methods and software development / Colloquium on Software Engineering (CSE). |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 85004712 |
| ISBN | 0387151982 (U.S. : v. 1) |
| ISBN | 0387151990 (U.S. : v. 2) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.D47 I57 1985 V. 1 | ✔ Available | Place Hold |
| Joyner | General Stacks | QA76.76.D47 I57 1985 V. 2 | ✔ Available | Place Hold |