In print
Ebook
Audiobook
Library
We may earn a commission. Learn more.
Proof, Language, and Interaction Essays in Honour of Robin Milner
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.
No reviews yet.
Be the first to write one.
No highlights yet.
Be the first to share one.