Logic and computation : interactive proof with Cambridge LCF
Lawrence C. Paulson
Bok Språk ikke angitt 1987
Utgitt | Cambridge : Cambridge University Press , 1987
|
---|---|
Omfang | xiii, 302 s. : fig.
|
Emner | |
ISBN | 0521346320
|
Utgitt | Cambridge : Cambridge University Press , 1987
|
---|---|
Omfang | xiii, 302 s. : fig.
|
Emner | |
ISBN | 0521346320
|