Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
  • Beauty Is Our Business
  • Beauty Is Our Business

Beauty Is Our Business

A Birthday Salute to Edsger W. Dijkstra

Aus der Reihe

Fr. 239.00

inkl. gesetzl. MwSt.
Versandkostenfrei
Gebundenes Buch

Gebundenes Buch

Fr. 239.00 Taschenbuch

Taschenbuch

Fr. 239.00 eBook

eBook

Fr. 250.90

Beauty Is Our Business

Ebenfalls verfügbar als:

Gebundenes Buch

Gebundenes Buch

ab Fr. 239.00
Taschenbuch

Taschenbuch

ab Fr. 239.00
eBook

eBook

ab Fr. 250.90

Beschreibung

Details

Einband

Gebundene Ausgabe

Erscheinungsdatum

23.04.1990

Herausgeber

W.H.J. Feijen + weitere

Verlag

Springer Us

Seitenzahl

455

Beschreibung

Details

Einband

Gebundene Ausgabe

Erscheinungsdatum

23.04.1990

Herausgeber

Verlag

Springer Us

Seitenzahl

455

Maße (L/B/H)

24.1/16/3.1 cm

Gewicht

881 g

Auflage

1990

Sprache

Englisch

ISBN

978-0-387-97299-2

Weitere Bände von Monographs in Computer Science

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Erste Bewertung verfassen

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen filtern
  • Beauty Is Our Business
  • Beauty Is Our Business
  • 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.- 37 Programming 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.