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

Mechanized

von: M. Gordon · R. Milner · C. P. Wadsworth

Taschenbuch

ISBN-13: 978-3-540-09724-2

ISBN-10: 3-540-09724-4

Springer · 2008