Mathematics of program construction :
Mathematics of program construction :
- Berlin ; | New York : Springer-Verlag, 1989
- vi, 420 p. : ill. ; 25 cm.
- Lecture notes in computer science ; 375 .
Papers presented at the Conference on Mathematics of Program Construction.
0387513051 (U.S. : alk. paper)
Papers presented at the Conference on Mathematics of Program Construction.
0387513051 (U.S. : alk. paper)