Items related to Proof, Language & Interaction – Essays in...
Proof, Language & Interaction – Essays in Honour of Robin Milner (Foundations of Computing) - Hardcover
Synopsis
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 Authors
Gordon Plotkin is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh.
Colin Stirling is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh.
Mads Tofte is Vice Chancellor, IT University of Copenhagen.
"About this title" may belong to another edition of this title.
- PublisherMIT Press
- Publication date2000
- ISBN 10 0262161885
- ISBN 13 9780262161886
- BindingHardcover
- LanguageEnglish
- Number of pages736
Search results for Proof, Language & Interaction – Essays in...
Stock Image
Proof, Language, and Interaction : Essays in Honour of Robin Milner
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. illustrated edition. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 9481689-20
Quantity: 1 available
Stock Image
Proof, Language, and Interaction
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. xiv + 722 Illus. Seller Inventory # 5778474
Quantity: 1 available
Stock Image
Proof, Language, and Interaction: Essays in Honour of Robin Milner
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 3. Seller Inventory # G0262161885I4N00
Quantity: 1 available
Stock Image
Proof, Language, and Interaction
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. xiv + 722 1st Edition. Seller Inventory # 263118069
Quantity: 1 available
Stock Image
Proof, Language, and Interaction
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. xiv + 722. Seller Inventory # 183118079
Quantity: 1 available
Stock Image
Proof, Language, And Interaction
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-69968
Quantity: 1 available
Stock Image
Proof, Language, And Interaction
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-142218
Quantity: 1 available
Stock Image
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Published by
The MIT Press, New York
ISBN 10: 0262161885
ISBN 13: 9780262161886
New
Hardcover
First Edition
Seller: Alien Bindings, BALTIMORE, MD, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Dust Jacket Condition: New. First Edition. Brand New! Electronic delivery tracking will be issued free of charge. Seller Inventory # 03803
Quantity: 1 available
Stock Image
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_425072221
Quantity: 1 available