Mathematics of program construction : third International conference, MPC '95 : Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller (ed.)

• Record Nr.: UNISA990000211010203316
• Autore: International conference MPC'95 : 3. : 1995
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1995
• ISBN: 3-540-60117-1
• Descrizione fisica: VIII, 472 p. : ill. ; 25 cm
• Collana: Lecture notes in computer science ; 947
• Disciplina: 0051
• Collocazione: 001 LNCS (947)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia