Picture 1 of 1
Picture 1 of 1
Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra by W.H.J. Feijen
US $239.23
ApproximatelyAU $352.15
Condition:
Brand new
A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller's listing for full details.
3 available
Postage:
Free Economy Shipping.
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Mon, 7 Oct and Sat, 12 Oct to 43230
Returns:
30-day returns. Buyer pays for return postage.
Payments:
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:364693732079
Item specifics
- Condition
- ISBN-13
- 9781461287926
- Book Title
- Beauty Is Our Business
- ISBN
- 9781461287926
- Subject Area
- Computers
- Publication Name
- Beauty Is Our Business : a Birthday Salute to Edsger W. Dijkstra
- Publisher
- Springer New York
- Item Length
- 9.3 in
- Subject
- Programming / General, Computer Science, Data Processing
- Publication Year
- 2011
- Series
- Monographs in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.4 in
- Item Weight
- 25.4 Oz
- Item Width
- 6.1 in
- Number of Pages
- Xx, 455 Pages
About this product
Product Identifiers
Publisher
Springer New York
ISBN-10
1461287928
ISBN-13
9781461287926
eBay Product ID (ePID)
143995869
Product Key Features
Number of Pages
Xx, 455 Pages
Publication Name
Beauty Is Our Business : a Birthday Salute to Edsger W. Dijkstra
Language
English
Publication Year
2011
Subject
Programming / General, Computer Science, Data Processing
Type
Textbook
Subject Area
Computers
Series
Monographs in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Height
0.4 in
Item Weight
25.4 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
Number of Volumes
1 vol.
Illustrated
Yes
Table Of Content
0 Proving Termination of Parallel Programs.- 1 On a Relation on Functions.- 2 Efficient Solution of a Non-Monotonic Inverse Problem.- 3 Semantics of Quasi-Boolean Expressions.- 4 Small Specification Exercises.- 5 Architecture of Real-Time Systems.- 6 The Use of a Formal Simulator to Verify a Simple Real Time Control Program.- 7 Exploring the Future: Trends and Discontinuities.- 8 On a Renewed Visit to the Banker and a Remarkable Analogy.- 9 On Bounded Buffers: Modularity, Robustness, and Reliability in Reactive Systems.- 10 Examples in Program Composition.- 11 On the Mechanism of the Hydrogenation of Edible Oils.- 12 The Problem of the Majority Network.- 13 A Little Exercise in Deriving Multiprograms.- 14 Experimenting with a Refinement Calculus.- 15 Serializable Programs, Parallelizable Assertions: A Basis for Interleaving.- 16 Binary to Decimal, One More Time.- 17 Rotate and Double.- 18 Beautifying Gödel.- 19 A Striptease of Entropy.- 20 On a Theorem of Jacobson.- 21 Modalities of Nondeterminacy.- 22 A Theory for the Derivation of C-mos Circuit Designs.- 23 On Mathematical Induction and the Invariance Theorem.- 24 Formalizing Some Classic Synchronization Primitives.- 25 Consequences.- 26 Shortest and Longest Segments.- 27 A Simple Program Whose Proof Isn't.- 28 Binding Structure and Behaviour in "Whole Net" Concurrency Semantics.- 29 Maximal Strong Components: An Exercise in Program Presentation.- 30 A Systolic Program for Gauss-Jordan Elimination.- 31 Coding for Channels with Localized Errors.- 32 Topology-Independent Algorithms Based on Spanning Trees.- 33 An Exercise in the Verification of Multi-Process Programs.- 34 The Limitations to Delay-Insensitivity in Asynchronous Circuits.- 35 A Simple Proof of a Simple Consensus Algorithm.- 36 Of wp and CSP.- 37Programming by Expression Refinement: the KMP Algorithm.- 38 Methodical Competitive Snoopy-Caching.- 39 Beauty and the Beast of Software Complexity -- Elegance versus Elephants.- 40 A Note on Feasibility.- 41 A Curious Property of Points and Circles in the Plane.- 42 A Problem Involving Subsequences.- 43 A Personal Perspective of the Alpern-Schneider Characterization of Safety and Liveness.- 44 Simpler Proofs for Concurrent Reading and Writing.- 45 Goodbye Junctivity?.- 46 An Assignment Problem for the Vertices of a Cycle.- 47 Duality and De Morgan Principles for Lists.- 48 The Quest for Timeless Specifications Leads to Non-Stepping Automata.- 49 The Maximum Length of a Palindrome in a Sequence.- 50 On Form, Formalism and Equivalence.- 51 Drawing Lines, Circles, and Ellipses in a Raster.- 52 Calculations with Relations, an Example.- 53 Two Proofs for Pythagoras.
Synopsis
A collection of contributions on programming theory in computer science and mathematics, celebrating the work of Edsger W. Dijkstra., 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'. "
LC Classification Number
QA75.5-76.95
Item description from the seller
Seller Feedback (1,032,696)
- h***9 (3094)- Feedback left by buyer.Past 6 monthsVerified purchase🏆 SUPER STAR 🤩 AMAZING PHOTOS 🎯 ACCURATE DESCRIPTION ✏️ GENUINE PRODUCTS 💎 HIGH QUALITY 🍯 SUPER PRICES 💰 EASY TO WORK WITH 🍰 ECONOMY HANDLING ⏱️ FAST SHIPPING 🚀 BUBBLE PACKAGE 📦 ARRIVED WITHIN DAYS 🌎 EXCEPTIONAL COMMUNICATION 🎙️ OUTSTANDING CUSTOMER SERVICE 🛎️ GREAT SENSE OF HUMOR 🍿 TOTAL ASSET TO THE EBAY-ECO SYSTEM 🥇 SAVED SELLER 🎱 PROMT REPLY FOR RETURNS 🎯 WOULD BUY FROM AGAIN 🧲 UNDER PROMISES OVER DELIVERS ⛳️ MADE ME VERY HAPPY 🌈 LEFT POSITIVE FEEDBACK 🌼 THANK YOU! 😇 A+++The Trespasser's Companion by Nick Hayes (English) Hardcover Book (#395262922488)
- l***a (3590)- Feedback left by buyer.Past 6 monthsVerified purchaseExcellent seller. Great customer service and communication, timely shipping, fair prices, safe packing, as described. Thank you. A+++
- t***n (2906)- Feedback left by buyer.Past monthVerified purchaseI don't give negatives; However, description was not correct; No price guide was included in this book.As you will see in book pic shown; title states price guide included, no price guide inside. Communication poor, description, no communication price guide missing from this book. Shipping time was weeks before it was even shipped. Blamed the shipping on warehouse. You own & operate a business; your warehouse is not up to standards you change who you do business with. It's your responsibility.
Product ratings and reviews
More to explore:
- W. Somerset Maugham Fiction Fiction & Books,
- William W. Johnstone Fiction Fiction & Books,
- Fiction Paperback William W. Johnstone & Fiction Books,
- Fiction Paperback W. Somerset Maugham & Fiction Books,
- William W. Johnstone Fiction Western Fiction & Books,
- Business, Economics Textbooks,
- My Busy Books Fiction Fiction & Books,
- Fiction H. Rider Haggard Fiction & Books,
- Non-Fiction Beauty Fiction & Non-Fiction Books,
- My Busy Books Fiction Picture Books-Fiction Books