Mathematics of program construction : 4th international conference, MPC'98 Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring (ed.)

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