Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Language: English
Published by The MIT Press, New York, 200
- First Edition
- Hardcover
- New
Seller: Alien Bindings, BALTIMORE, MD, U.S.A.Alien Bindings
AbeBooks seller since April 3, 2019
Condition: New
US$ 44.45
Quantity: 1 available
Add to basketItem description from seller
Brand New! Electronic delivery tracking will be issued free of charge.
Seller Inventory # 03803
- Title
- Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
- Author
- Gordon (Editor) Plotkin; Colin (Editor) Stirling; Mads (Editor) Tofte
- Publisher
- The MIT Press, New York
- Publication year
- 200
- Condition
- New
- Dust jacket
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0262161885
- ISBN 13
- 9780262161886
- Edition
- First Edition.
- Dimensions
- 9.3 x 7.4 x 1.6 inches
- Seller catalogs
- Computers & Internet: Computer Science: Artificial Intelligence: Theory of Computing
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, Gérard Berry, Lars Birkedal, Gérard 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, Gérard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Saïbi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel.
"Synopsis" may belong to another edition of this title.
About the Author
Mads Tofte is Vice Chancellor, IT University of Copenhagen.
"About the title" may belong to another edition of this title.
Alien Bindings
BALTIMORE, MD, U.S.A.
AbeBooks seller since April 3, 2019
Shipping rates within U.S.A.
| Item | 4 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 9.99 |
Payment methods
Store description
Alien Bindings is an online bookshop located in Baltimore that has been in operation for nearly 20 years. Alien Bindings caters to the sciences including the physical sciences, astronomy, mathematics, computer science, the social sciences and medicine. I also dabble in a wide array of other categories including antiquarian books and history. I run a clean, green business. I try to reuse clean materials for packaging whenever possible. For example, books are carefully packaged frequently using clean cardboard for custom made boxes, recycled paper is used for printed labels and recycled plastic or bubble wrap is used for a weather-proof barrier. I drop the packages off to my local post office via foot or cycle in order to further reduce the carbon footprint.…
Specialty
caters to the sciences including the physical sciences, astronomy, mathematics, computer science, the social sciences and medicine. I also dabble in a wide array of other categories including antiquSeller's business information
Alien Bindings
MD, U.S.A.