Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during t...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
2664 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic based program synthesis and transformation, 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised selected papers, Michael Leuschel (ed.), 2003, Berlin, Springer, 1 vol. (X-279 p.), Lecture notes in computer science, 3-540-40438-4 • Logic Based Program Synthesis and Transformation, Texte imprimé, 9783662199800 |