Нравится LibRing?
Расскажи друзьям:
Gordon Plotkin, Colin Stirling, Mads Tofte

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

Книгу можно купить в интернет-магазинах:

· OZON.ru 9133р. [Проверить наличие]
· OZON.ru 5724р. [Проверить наличие]
ISBN: 0262161885, 9780262161886
Издательство: The MIT Press
Год издания: 2000
Страниц: 736
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 programming languages, and functional programming languages. Following a brief biography of Milner, the book contains five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility. Contributors : Samson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, Grard Berry, Lars Birkedal, Grard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, Grard Huet, Paul B. Jackson, Alan S. A....
Посмотрите другие книги этой тематики: