Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers
By: Leuschel, Michael.
Material type:
BookSeries: 2664. Lecture notes in computer science.Publisher: Berlin: Springer-Verlag, 2003Description: 279 p.; Index.: 24 cm.ISBN: 9783540404385.Subject(s): Debugging | Tabling | LOPSTR | Program Refinement | program transformation | Verification | Partial EvaluationDDC classification: 004
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 LEU (Browse shelf) | Available | 007164 |
There are no comments for this item.