International conference on the mathematics of program construction : <2. : ; 1992
Titolo
Mathematics of program construction : second international conference : Oxford, U. K., June 29 - July 3, 1992 : proceedings / R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)
Pubbl/distr/stampa
Berlin [etc.], : Springer, c1993
ISBN
0387566252
3540566252
Descrizione fisica
VIII, 378 p. ; 24 cm
Collana
Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 669