Edinburgh LCF
Publisher: Springer
Published: September 27, 2007
Language: eng
Format: Paperback
Number of pages: 172
ISBN-13: 9783540097242
Subjects: Computer Mathematics; Computer Operating Systems; Computable functions; Data processing; Edinburgh LCF (Computer system