Logic-based program synthesis and transformation : International workhsop, LOPSTR '98: Manchester, UK, June 15-19, 1998: selected papers / Pierre Flener (ed.)

• Record Nr.: UNISA990000207780203316
• Autore: International workshop. LOPSTR '98 : 8. : 1998
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1998
• ISBN: 3-540-65765-7
• Descrizione fisica: X, 330 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 1559
• Disciplina: 0051
• Collocazione: 001 LNCS (1559)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia