Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation /

Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation /

Show other versions (1)
Saved in:
Bibliographic Details
Main Authors: Gordon, Michael J. author., Milner, Arthur J. author., Wadsworth, Christopher P. author., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979
Subjects:Computer science., Computer Science., Computer Science, general.,
Online Access:http://dx.doi.org/10.1007/3-540-09724-4
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://dx.doi.org/10.1007/3-540-09724-4

Similar Items