 |
|
Was andere dazu sagen - Rezension schreibenReview: Selected Writings on Computing: A Personal PerspectiveNutzerbericht - Max Lybbert - GoodreadsDijkstra's always the best. This book is a (slightly edited) collection of EWDs. I'm amazed at how interested I was in the trip reports; especially the one about visiting the USSR. But the other, more ... Vollständige Rezension lesen Ähnliche Bücher
Inhalt
34 weitere Abschnitte werden nicht angezeigt. Häufige Begriffe und Wortgruppenafternoon amppf arcs array assumption atomic action audience Banker's Algorithm boolean Brian Randell Burroughs Research Fellow C.A.R. Hoare charfl computing science computing scientists conclude consider correctness cyclic deadlock demand paging Dijkstra discussion DlJKSTRA Burroughs Research E.W. Dijkstra Edsger element elephant empty End of note established execution false fault frequency finite four-colour problem hardware Hoare implementation implies initial input integer introduce invariant lecture luckl machine mathematicians Mathematics Inc monitor mosquito natural number neighbour node nondeterminacy Nuenen Nuenen PROF outgoing arrows page fault possible primary store prime number problem processor program transformation programming language proof replacement algorithm result satisfying scientific seems separation of concerns sequence sequential shunting yard solution ssnl talk techniques termination theorem tion Tony Tony Hoare transaction Trip Report true University variable well-founded set window sizes Verweise auf dieses BuchAus anderen Büchern
Aus Google ScholarRe2: Reverse-engineering and reuse re-engineeringG Canfora, A Cimitile, M Munro - 1994 - Journal of Software Maintenance: Research and Practice The Need for Compositional Proof Systems: A SurveyWillem-Paul de Roever Parallel cellular automata: A model program for computational sciencePer Brinch Hansen - 1993 - Concurrency: Practice and Experience Comparing Techniques by Means of Encapsulation and¢ onnascenceMeilir Page-Jones - 1992 - COMMUNICATIONS OF THE ACM Referenzen von WebseitenSelected writings on computing Tribute to Edsger W. Dijkstra - Annals of the History of Computing ... Fractions on a Binary Tree II from Interactive Mathematics ... id:A002487 - OEIS Search Results FUNCTIONAL PEARLS: Enumerating the rationals Copyright Notice FUNCTIONAL PEARL Enumerating the Rationals Selected Writings on Computing: A Personal Perspective (Texts and ... References - Bibliography - Thesis: The Development of Computer ... Events and Sightings Bibliografische Informationen
|