A Classical Mind: Essays in Honour of C.A.R.Hoare
By: A. W. Roscoe (editor)Paperback
More than 4 weeks availability
To celebrate the 60th birthday and the many achievements of Tony Hoare, a rich assembly of contributors has come together to provide a volume of papers dedicated to him. The book has significant contributions from distinguished authors across a wide spectrum of computer science: from software engineering practice and computer architecture to a range of theoretical topics.
1. Interaction Categories and Communicating Sequential Processes2. Relational Program Derivation and Context-free Language Recognition3. Formal Model of Robots: Geometry and kinematics4. Fair Communicating Processes5. Hiding and Behaviour: An Institutional approach6. Monitors Revisited7. On the design of Calculational Proofs8. Proof of Correctness of Object Representations9. A Mechanized Hoare Logic of State Transitions10. Constant-space Quicksort11. From CSP to Hybrid Systems12. Abstractions of Time13. Software Development Method14. Process Algebra Arguments about an Object-based Design Notation15. Bracket Notation for the 'Coefficient of' Operator16. Implementing Coherent Memory17. How to Design a Parallel Computer18. Powerlist: A Structure for parallel recursion19. The Cuppest Capjunctive Capping, and Galois20. The Advantages of Free Choice: A symmetric and fully distributed solution21. Model-checking CSP22. The Semantics of Id23. Correctness of Data Representations on Algol-like Languages24. Software is History!25. A Mean Value Calculus of Durations
Number Of Pages:
- ID: 9780132948449
- Saver Delivery: Yes
- 1st Class Delivery: Yes
- Courier Delivery: Yes
- Store Delivery: Yes
Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly
© Copyright 2013 - 2016 WHSmith and its suppliers.
WHSmith High Street Limited Greenbridge Road, Swindon, Wiltshire, United Kingdom, SN3 3LD, VAT GB238 5548 36