Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-microsoft Symposium in Honour of Sir Tony Hoare - Rilegato

Rilegato

ISBN 10: 0333922301 ISBN 13: 9780333922309

Casa editrice: Red Globe Pr, 2000

Riassunto

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 perspectives
on the field. Together, they comprise a unique insight into the past, present, and future of computer science.

Su questo libro

Informazioni sugli autori

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.

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.
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.

Dalla quarta di copertina

In September 1999, cutting edge research and personal reflections were uniquely brought together when some of the best computing minds in the world met to celebrate the career of Sir Tony Hoare at the Oxford University-Microsoft Symposium. Participants were invited to give presentations on their areas of expertise and this book brings together the remarkable collection of talks, papers and essays that resulted.

Millennial Perspectives in Computer Science gives a comprehensive overview of issues within computing written by some of today's most pre-eminent scientists. It is fascinating reading for anyone with an interest in the latest thoughts and developments within computer science, and also provides an insight into the past, present and future of the subject.

Professor Sir Tony Hoare held the James Martin Chair in Computing at the Oxford University Computing Laboratory from 1979 to 1999. As one of the foremost experts in the field of computer science, he was knighted in 2000 for his achievements in software engineering. In further recognition of this ¢pioneering and fundamental contribution to software science', Sir Tony was awarded the Kyoto Prize for Advanced Technology in November 2000.

The symposium was organised by Jim Davies, Bill Roscoe and Jim Woodcock from the Oxford Programming Research Group, who have also edited and contributed to this commemorative collection.

Contributors:
Samson Abramsky, Richard Bird, Dines Bjorner, Christie Bolton, Richard P. Brent, Stephen Brookes, Stephen Cameron, Zhou Chaochen, K. Mani Chandy, Michel Charpentier, Ole-Johan Dahl, Jim Davies, Oege de Moor, Edsger W. Dijkstra, R. Forster, Jeremy Gibbons, Mike Gordon, David Gries, Dimitar P. Guelev, Eric C. R. Hehner, Michael Jackson, He Jifeng, C. B. Jones, Geraint Jones, Donald E. Knuth, David May, Annabelle McIver, Bertrand Meyer, Robin Milner, Jayadev Misra, Carroll Morgan, A. S. Murawski, Zhan Naijun, R. M. Needham, C. -H. L. Ong, Xu Qiwen, G. M. Reed, John C. Reynolds, A. W. Roscoe, J. W. Sanders, Fred B. Schneider, Silvija Seres, Mike Spivey, Bernard Sufrin, Antti Valmari, Niklaus Wirth and Jim Woodcock


The Cornerstones of Computing series is dedicated to providing readers with rigorous and challenging texts that cover the breadth of computing science. The books published in this auspicious series are written by leading experts, reviewed by their peers, and offer a quality of text unsurpassed in today's market.

Series Editors
· Professor Richard Bird is Director of the Computing Laboratory and head of the Programming Research Group at the University of Oxford. He is also the author of several successful books, including the best-selling Introduction to Functional Programming (Prentice Hall)

· Professor Sir Tony Hoare was formerly at the University of Oxford and is now working at the Microsoft European Research HQ in Cambridge. He is the author of several textbooks, including Communicating Sequential Processes (Prentice Hall)

Published Titles in the Cornerstones of Computing Series :
· Object-Oriented Specification using Z
· Operating Systems with Linux

Dettagli dell?edizione

• Editore: Red Globe Pr
• Data di pubblicazione: 2000
• ISBN 10: 0333922301
• ISBN 13: 9780333922309
• Rilegatura: Copertina rigida
• Lingua: Inglese
• Numero di pagine: 432
• Redattore: Davies Jim, Roscoe Bill, Woodcock Jim
• Contatto del produttore: non disponibile