Поиск
На сайте: 684756 статей, 309423 фото.

Proof, Language, and Interaction: Essays in Honour of Robin Milner (книга)

Proof, Language, and Interaction: Essays in Honour of Robin Milner
Автор: Gordon Plotkin
Colin Stirling
Mads Tofte
Оригинал издан: ????

«Proof, Language, and Interaction: Essays in Honour of Robin Milner»книга ???? года.

Содержание

Содержание

От издателя

«This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of…»

Рецензии

См. также

Ссылки