Verwandte Artikel zu Proof, Language, and Interaction: Essays in Honour...
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) - Hardcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorinnen und Autoren
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 39,02
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Proof, Language, and Interaction: Essays in Honour...
Beispielbild für diese ISBN
Proof, Language, and Interaction: Essays in Honour of Robin Milner
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 3. Bestandsnummer des Verkäufers G0262161885I4N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof, Language, and Interaction : Essays in Honour of Robin Milner
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 9481689-20
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Verlag:
The MIT Press, New York
ISBN 10: 0262161885
ISBN 13: 9780262161886
Neu
Hardcover
Erstausgabe
Anbieter: Alien Bindings, BALTIMORE, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New. Zustand des Schutzumschlags: New. First Edition. Brand New! Electronic delivery tracking will be issued free of charge. Bestandsnummer des Verkäufers 03803
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof, Language, And Interaction
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-69968
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof, Language, And Interaction
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABNR-142218
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Bestandsnummer des Verkäufers SHUB69968
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof, Language, and Interaction
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. xiv + 722 1st Edition. Bestandsnummer des Verkäufers 263118069
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof, Language, and Interaction
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Used. pp. xiv + 722 Illus. Bestandsnummer des Verkäufers 5778474
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof, Language, and Interaction
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Used. pp. xiv + 722. Bestandsnummer des Verkäufers 183118079
Anzahl: 1 verfügbar