Tools

LEADER 04080cam 2200529 i 4500

001 on1341437522;

003 OCoLC;

005 20231106090714.0;

008 220821t20222022nyuc b 001 0deng d;

020 a| 9781450397735q| (hardcover);

020 a| 1450397735q| (hardcover);

020 a| 9781450397711q| (paperback);

020 a| 1450397719q| (paperback);

020 z| 9781450397728q| (epub);

020 z| 1450397727q| (epub);

020 z| 9781450397742q| (ebook);

020 z| 1450397743q| (ebook);

029 1 a| AU@b| 000073412025;

035 a| (Sirsi) o1341437522;

035 a| (OCoLC)1341437522;

049 a| EREE;

050 14 a| QA76.6b| .E37 2022;

245 00 a| Edsger Wybe Dijkstra :b| his life, work, and legacy /c| Krzysztof R. Apt, editor, Tony Hoare, editor.;

250 a| First Edition.;

264 1 a| [New York, New York] :b| Association for Computing Machinery,c| [2022];

300 a| xxii, 550 pages :b| portraits ;c| 25 cm.;

336 a| textb| txt2| rdacontent;

337 a| unmediatedb| n2| rdamedia;

338 a| volumeb| nc2| rdacarrier;

490 1 a| ACM books,x| 2374-6777 ;v| #45;

504 a| Includes bibliographical references and index.;

505 0 a| The humble programmer / Edsger W. Dijkstra -- Dijkstra's single source shortest path algorithm / Mikkel Thorup -- Programming concurrent systems / Butler Lampson -- Concurrent algorithms / Leslie Lamport -- Origin of self-stabilization / Ted Herman -- Dijkstra's legacy on program verification / Reiner H̃hnle -- Development of correct programs / David Gries -- Nondeterminism and guarded commands / Krzysztof R. Apt and Ernst-Rd| iger Olderog -- A personal view of Edsger W. Dijkstra and his stance on software construction / Christian Lengauer -- Applying Dijkstra's vision to numerical software / Robert van de Geijn and Maggie Myers -- Calculational proofs / Vladimir Lifschitz -- An homage to the beautiful mathematical EWDs / Jayadev Misra -- A note on two problems in connexion with graphs / E.W. Dijkstra -- Recursive programming / E.W. Dijkstra -- Some meditations on advanced programming / E.W. Dijkstra -- Solution of a problem in concurrent programming control / E.W. Dijkstra -- Go To statement considered harmful / E.W. Dijkstra -- The structure of the "THE"-multiprogramming system / Edsger W. Dijkstra -- Self-stabilizing systems in spite of distributed control / Edsger W. Dijkstra -- On-the-fly garbage collection : an exercise in cooperation / Edsger W. Dijkstra, Leslie Lamport, A.J. Martin, C.S. Scholten, and E.F.M. Steffens -- On the reliability of programs / E.W. Dijkstra -- Edsger Dijkstra, the man who carried computer science on his shoulders / Krzysztof R. Apt -- Memories of Edsger W. Dijkstra / E. Allen Emerson -- Reflections on Edsger and his influence / David Gries -- Forty years with Edsger / Tony Hoare -- Edsger Dijkstra : some reminiscences / Brian Randell -- Evoking Whitehead's dictum / Fred B. Schneider -- Edsger W. Dijkstra in the eyes of his friends, colleagues, and students / Lex Bijlsma [and thirtenn others] -- Edsger W. Dijkstra as a lecturer in Marktoberdorf / Manfred Broy -- The Edsger W. Dijkstra Archive / Hamilton Richards -- Edsger W. Dijkstra : biographical information / Krzysztof R. Apt.;

600 10 a| Dijkstra, Edsger W.=| ^A80282;

650 0 a| Computer programming.=| ^A33242;

600 17 a| Dijkstra, Edsger W.2| fast0| (OCoLC)fst00093696?| UNAUTHORIZED;

650 7 a| Computer programming.2| fast0| (OCoLC)fst00872390;

700 1 a| Apt, Krzysztof R.,d| 1949-e| editor.=| ^A277747;

700 1 a| Hoare, C. A. R.q| (Charles Antony Richard),d| 1934-e| editor.=| ^A209638;

700 12 a| Dijkstra, Edsger W.t| Works.k| Selections.=| ^A80282;

830 0 a| ACM booksv| no. 45.=| ^A1287316;

938 a| YBP Library Servicesb| YANKn| 18084606;

994 a| C0b| ERE;

596 a| 1;

998 a| 6101511;

999 a| QA76.6 .E37 2022w| LCc| 1i| 30372017359636d| 11/12/2024e| 10/14/2024l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 6/19/2023x| BOOKz| JSTACKSo| .STAFF. jjlm;

Edsger Wybe Dijkstra : his life, work, and legacy / Krzysztof R. Apt, editor, Tony Hoare, editor.

Other author	Apt, Krzysztof R., 1949- editor.
Other author	Hoare, C. A. R. (Charles Antony Richard), 1934- editor.
Format	Book
Edition	First Edition.
Publication	[New York, New York] : Association for Computing Machinery, [2022]
Copyright Date	©2022
Description	xxii, 550 pages : portraits ; 25 cm.
Subjects	Dijkstra, Edsger W. Computer programming.

Series	ACM books, 2374-6777 ; #45 ACM books no. 45. ^A1287316
Contents	The humble programmer / Edsger W. Dijkstra -- Dijkstra's single source shortest path algorithm / Mikkel Thorup -- Programming concurrent systems / Butler Lampson -- Concurrent algorithms / Leslie Lamport -- Origin of self-stabilization / Ted Herman -- Dijkstra's legacy on program verification / Reiner H̃hnle -- Development of correct programs / David Gries -- Nondeterminism and guarded commands / Krzysztof R. Apt and Ernst-R iger Olderog -- A personal view of Edsger W. Dijkstra and his stance on software construction / Christian Lengauer -- Applying Dijkstra's vision to numerical software / Robert van de Geijn and Maggie Myers -- Calculational proofs / Vladimir Lifschitz -- An homage to the beautiful mathematical EWDs / Jayadev Misra -- A note on two problems in connexion with graphs / E.W. Dijkstra -- Recursive programming / E.W. Dijkstra -- Some meditations on advanced programming / E.W. Dijkstra -- Solution of a problem in concurrent programming control / E.W. Dijkstra -- Go To statement considered harmful / E.W. Dijkstra -- The structure of the "THE"-multiprogramming system / Edsger W. Dijkstra -- Self-stabilizing systems in spite of distributed control / Edsger W. Dijkstra -- On-the-fly garbage collection : an exercise in cooperation / Edsger W. Dijkstra, Leslie Lamport, A.J. Martin, C.S. Scholten, and E.F.M. Steffens -- On the reliability of programs / E.W. Dijkstra -- Edsger Dijkstra, the man who carried computer science on his shoulders / Krzysztof R. Apt -- Memories of Edsger W. Dijkstra / E. Allen Emerson -- Reflections on Edsger and his influence / David Gries -- Forty years with Edsger / Tony Hoare -- Edsger Dijkstra : some reminiscences / Brian Randell -- Evoking Whitehead's dictum / Fred B. Schneider -- Edsger W. Dijkstra in the eyes of his friends, colleagues, and students / Lex Bijlsma [and thirtenn others] -- Edsger W. Dijkstra as a lecturer in Marktoberdorf / Manfred Broy -- The Edsger W. Dijkstra Archive / Hamilton Richards -- Edsger W. Dijkstra : biographical information / Krzysztof R. Apt.
Bibliography note	Includes bibliographical references and index.
ISBN	9781450397735 (hardcover)
ISBN	1450397735 (hardcover)
ISBN	9781450397711 (paperback)
ISBN	1450397719 (paperback)
ISBN	(epub)
ISBN	(epub)
ISBN	(ebook)
ISBN	(ebook)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.6 .E37 2022	✔ Available	Place Hold

Edsger Wybe Dijkstra : his life, work, and legacy / Krzysztof R. Apt, editor, Tony Hoare, editor.

Click here for more information about this title

Availability