Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers / Patricia M. Hill (ed.).
| Author/creator | LOPSTR (Symposium) |
| Other author | Hill, Patricia, 1942- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©2006. |
| Description | x, 178 pages : illustrations ; 24 cm. |
| Subjects |
| Portion of title | LOPSTR 2005 |
| Series | Lecture notes in computer science ; 3901, 0302-9743, Lecture notes in computer science 3901. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 2006921342 |
| ISBN | 3540326545 |
| ISBN | 9783540326540 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.63 .L69 2005 | ✔ Available | Place Hold |