Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / edited by Sandro Etalle.
Material type:
Item type | Current location | Call number | Vol info | URL | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Digital
Responsable: Alejandra Vargas Mejía
Colección Digital
|
QA76.63 E83 2005 (Browse shelf) | BDIG00010702 | Link to resource | 1 | Available | SpringerLink | BDIG00010702 |
There are no comments on this title.