Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science)

M. Gordon, R. Milner, C.P. Wadsworth

下單後立即進貨 (1週~2週)

商品描述

Format Paperback Subject Computers the Internet Computer Science Publisher Springer Berlin