Edinburgh LCF: A Mechanised Logic of Computation
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth (auth.)Catégories:
Année:
1979
Edition:
1
Editeur::
Springer-Verlag Berlin Heidelberg
Langue:
english
Pages:
161
ISBN 10:
3540385266
ISBN 13:
9783540385264
Collection:
Lecture Notes in Computer Science 78
Fichier:
PDF, 3.44 MB
IPFS:
,
english, 1979