prentice-hall dissertations international specification

books:

A Vision of Liberty
Jim Davies

Boëtie Publications, 2008

A Vision of Liberty is a "report" from the future, portraying what life will be like in America when it becomes a free society towards the end of the 2020s, peacefully rid at last of those liars, pimps, bullies, extortioners, spies, control-freaks, torturers, warmongers, kidnappers, thugs, thieves and terrorists who call themselves "government." Although set in the future, it is not intended to be fiction. Its predictions are based ...

The Bard & Co.: Shakespeare's Role in Modern Business

Cyan Communications, 2007

Shakespeare's well-loved body of work is analyzed by 26 leading business writers, demonstrating how the truths of each play are still relevant in today's contemporary business world. In this fascinating collection of essays, themes as old as time?politics and power; double-speak and double-dealing; ambition and avarice?are brought to light with fresh insights into how modern management, workers, and corporations behave. Inspirational and ...

Gnu Scientific Library Reference Manual

3 reviews
Mark Galassi, Jim Davies, ...

Network Theory Ltd., 2001

Authoritative reference for GSL
This is a printed version of the GSL Reference Manual that's available on gnu.org, so there's no content here you couldn't get for free on the internet, and you have the privilege of trying as much as you want before you buy. I purchased the book for the convenience and ease-of-reading that comes with a printed volume, and to help support Free Software development. The typeset equations are much ...

Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)

1 review
Jim Woodcock, Jim Davies

Prentice Hall, 1996

No wonder Z has such a small following
This book promises meld three important areas of using the Z notation: specification, rigorous and formal proof, and refinement into code. My problem with this book is twofold. First, learning Z is no easy task. This book does a satisfactory job convincing the reader of the wonderful benefits of formal specifications, and dives into using the notation with examples. For my purposes, I found ...

Delicious

1 review

Gestalten Verlag, 2001

Excellent!
Absolutely amazing artwork. Some great altenative record designs for some of the bands they have done artwork for (including Blur, Jesus Jones, Mansun, Siouxsie & The Banshees...) Highly recommended!

Book of Guinness Advertising (Guinness)

3 reviews
Jim Davies

Guinness Publishing, 1999

Guinness in Black and White!
The only Black and White in this book are the pints of Guinness. A wonderfully rich source of full color examples of Guinness Advertising campaigns, from Gilroy to Television. A good reference on the art of one of the most successful advertising campaigns in history. With interesting discussions on the various campaigns. A must have not only for Guinness Fans but for anyone interested in ...

Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of ...

Palgrave Macmillan, 2000

"Millennial Reflections in Computer Science" is a comprehensive overview of issues within computing science written by an international group of scientists in 2000. To mark the retirement of Sir Tony Hoare from Oxford University computer scientists from around the world gathered together for a three day symposium. Organized by the University of Oxford, and sponsored by Microsoft Research, the symposium resulted in this collection of talks, ...

FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, ...

Springer, 1999

This book constitutes, together with its compagnion LNCS 1709, the refereed proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM'99, held in Toulouse, France in September 1999. The 92 revised full papers presented in the two volumes were carefully reviewed and selected from a total of 259 paper submissions from 35 different countries. Also included are 15 abstracts describing work in progress and ...

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings ...

Springer, 2007

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK in July 2007. The 32 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 85 submissions. The papers address all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, ...

Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
Jim Davies

Cambridge University Press, 1993

Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behavior of critical systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains ...

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM ...

Springer, 2005

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004. The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical ...

search for books
dissertations, international, oxford-microsoft, prentice-hall, specification

Impressum / about us