Mathematics of Program Construction
Details
| Editor |
Richard S. Bird and Carroll Morgan and Jim Woodcock |
| ISBN |
3−540−56625−2 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
669 |
| Year |
1993 |
Links
Related pages
|
People |
|
|
Activities |