No images available for this book.
| Attribute | Details |
| BOOK TITLE | LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION: 17TH INTERNATIONAL SYMPOSIUM, LOPSTR 2007, KONGENS LYNGBY, DENMARK, AUGUST 23-24, 2007, REVISED SELECTED PAPERS |
| AUTHOR | Unknown |
| PUBLISHER | SPRINGER |
| ISBN13 | 9783540787686 |
| SUBJECT | |
| YEAR OF PUBLICATION | N/A |
| BINDING | N/A |
| PRICE | € 64.99 |
| STOCK STATUS | IN STOCK |