Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers / Sandro Etalle (ed.).
| Author/creator | LOPSTR (Symposium) |
| Other author | Etalle, Sandro. |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, ©2005. |
| Description | viii, 277 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to SpringerLink subscribers |
| Subjects |
| Portion of title | LOPSTR 2004 |
| Series | Lecture notes in computer science ; 3573, 0302-9743 ; Lecture notes in computer science 3573. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| LCCN | 2005927904 |
| ISBN | 3540266550 |
| ISBN | 9783540266556 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.63 .L69 2004 | ✔ Available | Place Hold |