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…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
