Delivery included to the United States

Proof, Language, and Interaction

Proof, Language, and Interaction Essays in Honour of Robin Milner

Audio-visual / Multimedia Item (20 Jun 2019)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundations; programming logic; programming languages; concurrency; and mobility.

Book information

ISBN: 9780262281676
Publisher: MIT
Imprint: The MIT Press
Pub date:
DEWEY: 004
DEWEY edition: 21
Language: English
Number of pages: 736
Weight: 666g
Height: 226mm
Width: 185mm
Spine width: 43mm