Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Full Title: | Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) |
---|---|
ISBN: | 0262161885 |
ISBN13: | 9780262161886 |
List Price: | USD $17.75 |