Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers / Michael Leuschel, ed.
| Author/creator | LOPSTR (Symposium) 2002 : Madrid, Spain) |
| Other author/creator | Leuschel, Michael. |
| Format | Book and Print |
| Publication Info | Berlin ; New York : Springer, ©2003. |
| Description | x, 279 pages : illustrations ; 24 cm. |
| Subject(s) |
Click here for more information about this title
| Series | Lecture notes in computer science ; 2664 Lecture notes in computer science 2664. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 2003054282 |
| ISBN | 3540404384 (alk. paper) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA76.63 .L69 2002 | ✔ Available | Place Hold |