Articles liés à Proof, Language, and Interaction: Essays in Honour...
Synopsis
This collection of original essays reflects the breadth of current research in computer science.
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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurThe MIT Press
- Date d'édition2000
- ISBN 10 0262161885
- ISBN 13 9780262161886
- ReliureRelié
- Langueanglais
- Nombre de pages736
- ÉditeurPlotkin Gordon, Stirling Colin P., Tofte Mads
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 37,44
EUR 10,36 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour Proof, Language, and Interaction: Essays in Honour...
Image d'archives
Proof, Language, and Interaction : Essays in Honour of Robin Milner
Edité par
MIT Press, 2000
ISBN 10 : 0262161885
ISBN 13 : 9780262161886
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 9481689-20
Quantité disponible : 1 disponible(s)
Image d'archives
Proof, Language, and Interaction: Essays in Honour of Robin Milner
Edité par
MIT Press, 2000
ISBN 10 : 0262161885
ISBN 13 : 9780262161886
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 3. N° de réf. du vendeur G0262161885I4N00
Quantité disponible : 1 disponible(s)
Image d'archives
Proof, Language, and Interaction
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. xiv + 722 Illus. N° de réf. du vendeur 5778474
Quantité disponible : 1 disponible(s)
Image d'archives
Proof, Language, and Interaction
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. xiv + 722. N° de réf. du vendeur 183118079
Quantité disponible : 1 disponible(s)
Image d'archives
Proof, Language, and Interaction
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xiv + 722 1st Edition. N° de réf. du vendeur 263118069
Quantité disponible : 1 disponible(s)
Image d'archives
Proof, Language, And Interaction
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur ABNR-142218
Quantité disponible : 1 disponible(s)
Image d'archives
Proof, Language, And Interaction
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-69968
Quantité disponible : 1 disponible(s)
Image d'archives
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Edité par
The MIT Press, New York
ISBN 10 : 0262161885
ISBN 13 : 9780262161886
Neuf
Couverture rigide
Edition originale
Vendeur : Alien Bindings, BALTIMORE, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. Etat de la jaquette : New. First Edition. Brand New! Electronic delivery tracking will be issued free of charge. N° de réf. du vendeur 03803
Quantité disponible : 1 disponible(s)
Image d'archives
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Edité par
Mit Pr, 2000
ISBN 10 : 0262161885
ISBN 13 : 9780262161886
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : 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! N° de réf. du vendeur S_425072221
Quantité disponible : 1 disponible(s)