Computer science logic : 11th International whorkshop, CLS'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen... [et al.] (eds.)

• Record Nr.: UNISA990000210170203316
• Autore: International workshop CSL'97 : 11. : 1997
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1998
• ISBN: 3-540-64570-5
• Descrizione fisica: VIII, 509 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 1414
• Disciplina: 004
• Collocazione: 001 LNCS (1414)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia