Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra: Monographs in Computer Science
Editat de W.H.J. Feijen, A.J.M. van Gasteren, David Gries, J. Misraen Limba Engleză Hardback – 23 apr 1990
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 1280.69 lei 6-8 săpt. | |
Springer – 16 dec 2011 | 1280.69 lei 6-8 săpt. | |
Hardback (1) | 1285.31 lei 6-8 săpt. | |
Springer – 23 apr 1990 | 1285.31 lei 6-8 săpt. |
Din seria Monographs in Computer Science
- 20% Preț: 1322.30 lei
- 20% Preț: 511.92 lei
- 20% Preț: 333.22 lei
- 20% Preț: 328.60 lei
- 15% Preț: 646.94 lei
- 20% Preț: 357.48 lei
- 20% Preț: 339.47 lei
- 20% Preț: 653.21 lei
- 20% Preț: 329.44 lei
- 20% Preț: 993.74 lei
- 20% Preț: 992.26 lei
- 20% Preț: 1630.95 lei
- 20% Preț: 656.03 lei
- 20% Preț: 650.08 lei
- 20% Preț: 328.09 lei
- 20% Preț: 641.16 lei
- 20% Preț: 334.38 lei
- 18% Preț: 737.74 lei
- 20% Preț: 642.19 lei
- 20% Preț: 641.99 lei
- 20% Preț: 345.59 lei
- 20% Preț: 711.29 lei
- 20% Preț: 1001.16 lei
- 20% Preț: 661.47 lei
- 20% Preț: 343.62 lei
- 20% Preț: 644.81 lei
- 15% Preț: 505.30 lei
- 20% Preț: 640.69 lei
- Preț: 396.78 lei
- 18% Preț: 956.81 lei
- 20% Preț: 592.68 lei
- 20% Preț: 329.44 lei
- Preț: 383.33 lei
- 20% Preț: 349.40 lei
- 20% Preț: 832.40 lei
- 20% Preț: 993.42 lei
- 15% Preț: 578.87 lei
- 20% Preț: 337.85 lei
- 20% Preț: 988.16 lei
- 20% Preț: 996.56 lei
- 20% Preț: 1293.37 lei
- 20% Preț: 1452.94 lei
Preț: 1285.31 lei
Preț vechi: 1606.64 lei
-20% Nou
Puncte Express: 1928
Preț estimativ în valută:
245.94€ • 256.78$ • 203.55£
245.94€ • 256.78$ • 203.55£
Carte tipărită la comandă
Livrare economică 04-18 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780387972992
ISBN-10: 0387972994
Pagini: 455
Ilustrații: XX, 455 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.79 kg
Ediția:1990
Editura: Springer
Colecția Springer
Seria Monographs in Computer Science
Locul publicării:New York, NY, United States
ISBN-10: 0387972994
Pagini: 455
Ilustrații: XX, 455 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.79 kg
Ediția:1990
Editura: Springer
Colecția Springer
Seria Monographs in Computer Science
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
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.