Книги автора «L. C. Paulson»

На данной странице предаставлены все книги автора «L. C. Paulson»

Зарегистрироваться на сайте Подробнее
Какие книги написал «L. C. Paulson»

Книги

Logic and Computation : Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

Logic and Computation : Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) (C. J. van Rijsbergen,L. C. Paulson)