XWe have detected your location as outside the U.S/Canada, if you think this is wrong, you can choose your location.

Macmillan Higher Education

Cart

Continue Shopping
All prices are shown excluding Tax
The submitted promocode is invalid
* Applied promocode: ×

Important information on your ebook order

Millennial Perspectives in Computer Science

Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare

Author(s):
Publisher:

Red Globe Press

Pages: 432
Series:

Cornerstones of Computing

Downloads:

Flyer

Further Actions:

Recommend to library

AVAILABLE FORMATS

Hardcover - 9780333922309

30 November 2000

$115.99

Free Shipping

Back in stock soon

All prices are shown excluding Tax

Millennial Reflections in Computer Science is a comprehensive overview of cutting-edge issues within computing science written by some of the most pre-eminent scientists available today.
To mark the retirement of Sir Tony...

Show More

Millennial Reflections in Computer Science is a comprehensive overview of cutting-edge issues within computing science written by some of the most pre-eminent scientists available today. To mark the retirement of Sir Tony Hoare from Oxford University, some of the world's leading computer scientists gathered together for a three-day symposium. Organised by the University of Oxford, and sponsored by Microsoft Research, the symposium resulted in this remarkable collection of talks, papers, and essays. Some describe original research, others offer personal perspectiveson the field. Together, they comprise a unique insight into the past, present, and future of computer science.

Show Less

Over 0 chapters on different and cuttingedge aspects of computer scientists written by the world's leading authorities in this field
Written in tribute to Professor Sir Tony Hoare, former Chair at the Oxford University Computing Laboratory and now working with the Microsoft Research Institute in Cambridge. Tony is internationally known for his work and achievements within software development. His contributions to computer science have been described as 'pioneering and fundamental'. He recently won the Kyoto 000 Prize for Advanced Technology
The attachment of his name and reputation to any project guarantees an international base of interest and success

Preface; J.Woodcock
Concurrent Interaction Games; S.Abramsky
Program Optimisation Naturally; R.Bird, J.Gibbons & G.Jones
The Binary Euclidean Algorithm; R.P.Brent
Domain Modelling; D.Bjorner
Communicating Parallel Processes; S.Brookes
Computing with Shapes; S.Cameron
Predicate Transformers for Competition; K.M.Chandy & M.Charpentier
A Note on Monitor Versions; O-J.Dahl
A Formula is Worth a Thousand Pictures; E.W.Dijkstra
Linking Higher Order Logic to Binary Decision Diagrams; M.Gordon
Substitution of Equals for Equals; D.Gries & F.B.Schneider
Advanced Features of the Duration Calculus; H.Jifeng & X.Qiwen
Formalism and the Variable; E.C.R.Hehner
The Real World; Michael Jackson
Compositionality, Inference and Concurrency; C.B.Jones
Dancing Links; D.E.Knuth
The Transputer Revised; D.May
Principles of Language Design and Evolution; B.Meyer
Computing and Communication What's the Difference?; R.Milner
Generating-functions of Interconnection Networks; J.Misra
Probably Hoare? Hoare Probably!; C.Morgan, A.McIver & J.W.Sanders
Distributed Computing : Opportunity, Challenge or Misfortune?; R.M.Needham
A Linear-time Algorithm for Verifying MLL Proof Nets via Essential Nets; A.S.Murawski & C.-H.L.Ong
Intuitionistic Reasoning about Shared Mutable Data Structure; J.C.Reynolds
The Successes and Failures of Behavioural Models; A.W.Roscoe, G.M.Reed & R.Forster
The Algebra of Searching; M.Spivey & S.Seres
Modeless Structure Editing; B.Sufrin & O.de Moor
A Chaos-free Failures-divergences Semantics with Applications to Verification; A.Valmari
Records, Modules, Objects, Classes, Components; N.Wirth
Abstract Data Types and Processes; J.Woodcock, J.Davies & C.Bolton
A Higher-order Duration Calculus; Z.Chaochen, D.P.Guelev & Z.Naijun.

Add a review

JIM DAVIES is a lecturer in Computation and Continuing Education at
the University of Oxford, and Director of the Software Engineering Programme.

BILL ROSCOE works at the Oxford University Computing Laboratory where he is a Professor of Computing Science.

JIM WOODCOCK is a Professor of Software Engineering at the Oxford University Computing Laboratory.

Show More

JIM DAVIES is a lecturer in Computation and Continuing Education at
the University of Oxford, and Director of the Software Engineering Programme.

BILL ROSCOE works at the Oxford University Computing Laboratory where he is a Professor of Computing Science.

JIM WOODCOCK is a Professor of Software Engineering at the Oxford University Computing Laboratory.

Show Less

New Publications 

Best Sellers