Edinburgh LCF : a mechanised logic of computation
Michael J. Gordon, Arthur J. Milner [i.e. Robin Milner], Christopher P. Wadsworth
Bok Språk ikke angitt 1979 Michael J. C. Gordon
| Utgitt | Berlin : Springer , 1979
|
|---|---|
| Omfang | VIII, 159 s.
|
| Emner | |
| ISBN | 0387097244. - 3540097244
|
