Beauty Is Our Business and over 390,000 other books are available for Amazon Kindle – Amazon’s new wireless reading device. Learn more

8 used & new from $71.98

Have one to sell? Sell yours here
 
 
Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra (Monographs in Computer Science)
 
 
Start reading Beauty Is Our Business on your Kindle in under a minute.

Don’t have a Kindle? Get your Kindle here.
 
  

Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra (Monographs in Computer Science) (Hardcover)

~ W.H.J. Feijen (Editor), A.J.M. van Gasteren (Editor), David Gries (Editor), J. Misra (Editor) "The Owicki-Gries method [2] for verifying partial correctness of parallel programs calls for finding interference free proof outlines for partial correctness of component programs..." (more)
Key Phrases: serializable programs, acid selectivity ratio, splitting circles, The Netherlands, Lecture Notes, New York (more...)
4.0 out of 5 stars  See all reviews (1 customer review)


Available from these sellers.


2 new from $112.16 6 used from $71.98

Formats

Amazon Price New from Used from
  Kindle Edition, April 23, 1990 $73.60 -- --
  Hardcover, April 22, 1990 -- $112.16 $71.98

Editorial Reviews

Product Description

More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fifty-four technical contributions in different areas of endeavor, although many of them deal with an area of particular concern to Dijkstra: programming. Each contribution is relatively short and could be digested in one sitting. Together, they form a nice cross section of the discipline of programming at the beginning of the nineties. While many know of Dijkstra's technical contributions, they may not be aware of his ultimate goal, the mastery of complexity in mathematics and computing science. He has forcefully argued that beauty and elegance are essential to this mastery. The title of this book, chosen to reflect his ultimate goal, comes from a sentence in an article of his on some beautiful arguments using mathematical induction: "... when we recognize the battle against chaos, mess, and unmastered complexity as one of computing sci- ence's major callings, we must admit that 'Beauty Is Our Business'."

Product Details

  • Hardcover: 453 pages
  • Publisher: Springer; 1 edition (April 23, 1990)
  • Language: English
  • ISBN-10: 0387972994
  • ISBN-13: 978-0387972992
  • Product Dimensions: 9.6 x 6.2 x 1.3 inches
  • Shipping Weight: 2.2 pounds
  • Average Customer Review: 4.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon.com Sales Rank: #2,621,923 in Books (See Bestsellers in Books)

Inside This Book (learn more)
First Sentence:
The Owicki-Gries method [2] for verifying partial correctness of parallel programs calls for finding interference free proof outlines for partial correctness of component programs. Read the first page
Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
serializable programs, acid selectivity ratio, splitting circles, algebraic path problem, acyclic net, congruent solutions, consensus algorithm, bounded buffers, strongest solution, adequacy condition, molecular case, drive condition, birthday salute, unreliable processes, successor set, total correctness, predicate transformers, relational semantics, proof outline, synchronization primitives, linear search, proof obligations, holding condition, systolic array, guarded commands
Key Phrases - Capitalized Phrases (CAPs): (learn more)
The Netherlands, Lecture Notes, New York, Technical Report, Eindhoven University of Technology, Edsger Dijkstra, David Gries, Acta Informatica, Department of Computing Science, California Institute of Technology, Carroll Morgan, Taylor Hall, Discipline of Programming, Jayadev Misra, Oxford University Computing Laboratory, Program Composition, Proof Let, Rijksuniversiteit Groningen, Venture Research, Academic Press, Acknowledgment Theorem, Computational Logic, Distributed Computing, End of Rule, Formalizing Some Classic Synchronization Primitives
New!
Books on Related Topics | Concordance | Text Stats
Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Search Inside This Book:




Tag this product

 (What's this?)
Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.
Your tags: Add your first tag
 

 

Customer Reviews

1 Review
5 star:    (0)
4 star:
 (1)
3 star:    (0)
2 star:    (0)
1 star:    (0)
 
 
 
 
 
Average Customer Review
4.0 out of 5 stars (1 customer review)
 
 
 
 
Share your thoughts with other customers:
Most Helpful Customer Reviews

 
3 of 3 people found the following review helpful:
4.0 out of 5 stars Good book, but maybe it's not what you think..., December 29, 2000
By Rubens Altimari (Sao Paulo, Brazil) - See all my reviews
(REAL NAME)   
This is a homage to Dijkstra, but there is no articles by him: the editor asked people who have worked (in some way) with Dijkstra to write an article specially for the book, and that is what it is. In other words, there is no other common ground to them. Anyway, this is a book about Computer Science, not about the man himself. A little too expensive, in my opinion...
Comment Comment | Permalink | Was this review helpful to you? Yes No (Report this)


Share your thoughts with other customers: Create your own review
 
 
 
Only search this product's reviews



Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 


Active discussions in related forums
Search Customer Discussions
Search all Amazon discussions
   
Related forums


Listmania!


Create a Listmania! list

So You'd Like to...


Create a guide

Product Information from the Amapedia Community

Beta (What's this?)


Look for Similar Items by Category


Look for Similar Items by Subject

 

Feedback

If you need help or have a question for Customer Service, contact us.
 Would you like to update product info or give feedback on images?
Is there any other feedback you would like to provide?

Your comments can help make our site better for everyone.



Your Recent History

 (What's this?)

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.