Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation /
Saved in:
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!
|
Similar Items
-
Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation /
by: Gordon, Michael J. author., et al.
Published: (1979) -
Study and Research Guide in Computer Science [electronic resource] : Profiles of Universities in the USA /
by: Tölle, Wolfgang. author., et al.
Published: (1993) -
Study and Research Guide in Computer Science [electronic resource] : Profiles of Universities in the USA /
by: Tölle, Wolfgang. author., et al.
Published: (1993) -
Boolesche Algebra und Computer [electronic resource] : Ein Informatik-Kurs /
by: Harbeck, Gerd. author., et al.
Published: (1972) -
Boolesche Algebra und Computer [electronic resource] : Ein Informatik-Kurs /
by: Harbeck, Gerd. author., et al.
Published: (1972)