/LC.GIF&client=easterncarolinaedu)
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers / Maurice Bruynooghe (ed.).
| Author/creator | LOPSTR 2003 |
| Other author | Bruynooghe, M. (Maurice) |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©2004. |
| Description | x, 232 pages : figures, tables ; 24 cm. |
| Subjects |
| Portion of title | LOPSTR 2003 |
| Series | Lecture notes in computer science ; 3018 Lecture notes in computer science 3018. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| ISBN | 3540221743 (pbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.63 .L69 2003 | ✔ Available | Place Hold |