Edsger Wybe Dijkstra :: his life, work, and legacy /
"Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to a...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
[New York, New York] :
Association for Computing Machinery,
[2022]
|
| Ausgabe: | First edition. |
| Schriftenreihe: | ACM books ;
no. 45. |
| Schlagworte: | |
| Online-Zugang: | DE-862 DE-863 DE-862 DE-863 |
| Zusammenfassung: | "Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for "fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design." Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity." -- Back cover. |
| Beschreibung: | 1 online resource (xxiv, 550 pages) : portraits. |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9781450397742 1450397743 9781450397728 1450397727 1450397735 9781450397735 |
| ISSN: | 2374-6777 ; |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-on1337075477 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 220712s2022 nyuc ob 001 0deng d | ||
| 040 | |a STF |b eng |e pn |c STF |d UAB |d ZWU |d GZM |d OCLCF |d CUS |d OCLCO |d OCLCQ |d OCLCL |d EBLCP |d OCLCQ |d OCLCO |d OCLCQ |d N$T |d YDX |d OCLCO |d CLOUD | ||
| 019 | |a 1434576106 |a 1436670336 |a 1463274540 | ||
| 020 | |a 9781450397742 |q (ebook) | ||
| 020 | |a 1450397743 |q (ebook) | ||
| 020 | |a 9781450397728 |q (epub) | ||
| 020 | |a 1450397727 |q (epub) | ||
| 020 | |z 9781450397735 |q (hardcover) | ||
| 020 | |z 9781450397711 |q (paperback) | ||
| 020 | |a 1450397735 |q (electronic bk.) | ||
| 020 | |a 9781450397735 | ||
| 020 | |z 1450397719 | ||
| 024 | 7 | |a 10.1145/3544585 |2 doi | |
| 035 | |a (OCoLC)1337075477 |z (OCoLC)1434576106 |z (OCoLC)1436670336 |z (OCoLC)1463274540 | ||
| 050 | 4 | |a DS119 |b .A685 2022 | |
| 082 | 7 | |a 005.1 |q OCoLC |2 23/eng/20231010 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |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 1 online resource (xxiv, 550 pages) : |b portraits. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a ACM books, |x 2374-6777 ; |v #45 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a The humble programmer -- 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üdiger 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. | |
| 520 | |a "Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for "fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design." Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity." -- Back cover. | ||
| 600 | 1 | 0 | |a Dijkstra, Edsger W. |
| 600 | 1 | 7 | |a Dijkstra, Edsger W. |2 fast |1 https://id.oclc.org/worldcat/entity/E39PBJdwYyK7cfqHTvWkbjTPwC |
| 650 | 0 | |a Computer programming. |0 http://id.loc.gov/authorities/subjects/sh85107310 | |
| 650 | 6 | |a Programmation (Informatique) | |
| 650 | 7 | |a computer programming. |2 aat | |
| 650 | 7 | |a Programming. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS. |2 bisacsh | |
| 650 | 7 | |a Software Development & Engineering. |2 bisacsh | |
| 650 | 7 | |a Computer programming |2 fast | |
| 655 | 0 | |a Electronic books. | |
| 655 | 7 | |a Biographies. |2 lcgft |0 http://id.loc.gov/authorities/genreForms/gf2014026049 | |
| 655 | 7 | |a Essays. |2 lcgft |0 http://id.loc.gov/authorities/genreForms/gf2014026094 | |
| 655 | 7 | |a Biographies. |2 rvmgf | |
| 700 | 1 | |a Apt, Krzysztof R., |d 1949- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PBJrGyD69pW3yyQF8CdbmVC |0 http://id.loc.gov/authorities/names/n77005986 | |
| 700 | 1 | |a Hoare, C. A. R. |q (Charles Antony Richard), |d 1934- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PBJd8dcpHCjCXDjKtFghmBP |0 http://id.loc.gov/authorities/names/n84148204 | |
| 700 | 1 | 2 | |a Dijkstra, Edsger W. |t Works. |k Selections. |
| 776 | 0 | 8 | |i Print version: |t Edsger Wybe Dijkstra. |b First Edition. |d [New York, New York] : Association for Computing Machinery; [2022] |z 9781450397735 |w (OCoLC)1341437522 |
| 830 | 0 | |a ACM books ; |v no. 45. |0 http://id.loc.gov/authorities/names/no2015029270 | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3766580 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3766580 |3 Volltext |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3766581 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3766581 |3 Volltext |
| 938 | |a cloudLibrary |b CLDL |n 9781450397728 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL7390953 | ||
| 938 | |a EBSCOhost |b EBSC |n 3766580 | ||
| 938 | |a YBP Library Services |b YANK |n 305911764 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-on1337075477 |
|---|---|
| _version_ | 1829095373371604992 |
| adam_text | |
| any_adam_object | |
| author2 | Apt, Krzysztof R., 1949- Hoare, C. A. R. (Charles Antony Richard), 1934- Dijkstra, Edsger W. |
| author2_role | edt edt |
| author2_variant | k r a kr kra c a r h car carh e w d ew ewd |
| author_GND | http://id.loc.gov/authorities/names/n77005986 http://id.loc.gov/authorities/names/n84148204 |
| author_facet | Apt, Krzysztof R., 1949- Hoare, C. A. R. (Charles Antony Richard), 1934- Dijkstra, Edsger W. |
| author_sort | Dijkstra, Edsger W. |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | D - World History |
| callnumber-label | DS119 |
| callnumber-raw | DS119 .A685 2022 |
| callnumber-search | DS119 .A685 2022 |
| callnumber-sort | DS 3119 A685 42022 |
| callnumber-subject | DS - Asia |
| collection | ZDB-4-EBA |
| contents | The humble programmer -- 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üdiger 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. |
| ctrlnum | (OCoLC)1337075477 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | First edition. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07089cam a2200721 i 4500</leader><controlfield tag="001">ZDB-4-EBA-on1337075477</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |||||||||||</controlfield><controlfield tag="008">220712s2022 nyuc ob 001 0deng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">STF</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">STF</subfield><subfield code="d">UAB</subfield><subfield code="d">ZWU</subfield><subfield code="d">GZM</subfield><subfield code="d">OCLCF</subfield><subfield code="d">CUS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCO</subfield><subfield code="d">CLOUD</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">1434576106</subfield><subfield code="a">1436670336</subfield><subfield code="a">1463274540</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450397742</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1450397743</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450397728</subfield><subfield code="q">(epub)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1450397727</subfield><subfield code="q">(epub)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781450397735</subfield><subfield code="q">(hardcover)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781450397711</subfield><subfield code="q">(paperback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1450397735</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450397735</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1450397719</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1145/3544585</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1337075477</subfield><subfield code="z">(OCoLC)1434576106</subfield><subfield code="z">(OCoLC)1436670336</subfield><subfield code="z">(OCoLC)1463274540</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">DS119</subfield><subfield code="b">.A685 2022</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.1</subfield><subfield code="q">OCoLC</subfield><subfield code="2">23/eng/20231010</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Edsger Wybe Dijkstra :</subfield><subfield code="b">his life, work, and legacy /</subfield><subfield code="c">Krzysztof R. Apt, editor, Tony Hoare, editor.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[New York, New York] :</subfield><subfield code="b">Association for Computing Machinery,</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxiv, 550 pages) :</subfield><subfield code="b">portraits.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">ACM books,</subfield><subfield code="x">2374-6777 ;</subfield><subfield code="v">#45</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">The humble programmer -- 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üdiger 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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for "fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design." Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity." -- Back cover.</subfield></datafield><datafield tag="600" ind1="1" ind2="0"><subfield code="a">Dijkstra, Edsger W.</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Dijkstra, Edsger W.</subfield><subfield code="2">fast</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJdwYyK7cfqHTvWkbjTPwC</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer programming.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107310</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Programmation (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">computer programming.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programming.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software Development & Engineering.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Biographies.</subfield><subfield code="2">lcgft</subfield><subfield code="0">http://id.loc.gov/authorities/genreForms/gf2014026049</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Essays.</subfield><subfield code="2">lcgft</subfield><subfield code="0">http://id.loc.gov/authorities/genreForms/gf2014026094</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Biographies.</subfield><subfield code="2">rvmgf</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.,</subfield><subfield code="d">1949-</subfield><subfield code="e">editor.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJrGyD69pW3yyQF8CdbmVC</subfield><subfield code="0">http://id.loc.gov/authorities/names/n77005986</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hoare, C. A. R.</subfield><subfield code="q">(Charles Antony Richard),</subfield><subfield code="d">1934-</subfield><subfield code="e">editor.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJd8dcpHCjCXDjKtFghmBP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n84148204</subfield></datafield><datafield tag="700" ind1="1" ind2="2"><subfield code="a">Dijkstra, Edsger W.</subfield><subfield code="t">Works.</subfield><subfield code="k">Selections.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Edsger Wybe Dijkstra.</subfield><subfield code="b">First Edition.</subfield><subfield code="d">[New York, New York] : Association for Computing Machinery; [2022]</subfield><subfield code="z">9781450397735</subfield><subfield code="w">(OCoLC)1341437522</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">ACM books ;</subfield><subfield code="v">no. 45.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2015029270</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3766580</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3766580</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3766581</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3766581</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">cloudLibrary</subfield><subfield code="b">CLDL</subfield><subfield code="n">9781450397728</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL7390953</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">3766580</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">305911764</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic books. Biographies. lcgft http://id.loc.gov/authorities/genreForms/gf2014026049 Essays. lcgft http://id.loc.gov/authorities/genreForms/gf2014026094 Biographies. rvmgf |
| genre_facet | Electronic books. Biographies. Essays. |
| id | ZDB-4-EBA-on1337075477 |
| illustrated | Illustrated |
| indexdate | 2025-04-11T08:47:59Z |
| institution | BVB |
| isbn | 9781450397742 1450397743 9781450397728 1450397727 1450397735 9781450397735 |
| issn | 2374-6777 ; |
| language | English |
| oclc_num | 1337075477 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (xxiv, 550 pages) : portraits. |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Association for Computing Machinery, |
| record_format | marc |
| series | ACM books ; |
| series2 | ACM books, |
| spelling | Edsger Wybe Dijkstra : his life, work, and legacy / Krzysztof R. Apt, editor, Tony Hoare, editor. First edition. [New York, New York] : Association for Computing Machinery, [2022] 1 online resource (xxiv, 550 pages) : portraits. text txt rdacontent computer c rdamedia online resource cr rdacarrier ACM books, 2374-6777 ; #45 Includes bibliographical references and index. The humble programmer -- 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üdiger 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. "Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for "fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design." Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity." -- Back cover. Dijkstra, Edsger W. Dijkstra, Edsger W. fast https://id.oclc.org/worldcat/entity/E39PBJdwYyK7cfqHTvWkbjTPwC Computer programming. http://id.loc.gov/authorities/subjects/sh85107310 Programmation (Informatique) computer programming. aat Programming. bisacsh COMPUTERS. bisacsh Software Development & Engineering. bisacsh Computer programming fast Electronic books. Biographies. lcgft http://id.loc.gov/authorities/genreForms/gf2014026049 Essays. lcgft http://id.loc.gov/authorities/genreForms/gf2014026094 Biographies. rvmgf Apt, Krzysztof R., 1949- editor. https://id.oclc.org/worldcat/entity/E39PBJrGyD69pW3yyQF8CdbmVC http://id.loc.gov/authorities/names/n77005986 Hoare, C. A. R. (Charles Antony Richard), 1934- editor. https://id.oclc.org/worldcat/entity/E39PBJd8dcpHCjCXDjKtFghmBP http://id.loc.gov/authorities/names/n84148204 Dijkstra, Edsger W. Works. Selections. Print version: Edsger Wybe Dijkstra. First Edition. [New York, New York] : Association for Computing Machinery; [2022] 9781450397735 (OCoLC)1341437522 ACM books ; no. 45. http://id.loc.gov/authorities/names/no2015029270 |
| spellingShingle | Edsger Wybe Dijkstra : his life, work, and legacy / ACM books ; The humble programmer -- 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üdiger 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. Dijkstra, Edsger W. Dijkstra, Edsger W. fast https://id.oclc.org/worldcat/entity/E39PBJdwYyK7cfqHTvWkbjTPwC Computer programming. http://id.loc.gov/authorities/subjects/sh85107310 Programmation (Informatique) computer programming. aat Programming. bisacsh COMPUTERS. bisacsh Software Development & Engineering. bisacsh Computer programming fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85107310 http://id.loc.gov/authorities/genreForms/gf2014026049 http://id.loc.gov/authorities/genreForms/gf2014026094 |
| title | Edsger Wybe Dijkstra : his life, work, and legacy / |
| title_alt | Works. |
| title_auth | Edsger Wybe Dijkstra : his life, work, and legacy / |
| title_exact_search | Edsger Wybe Dijkstra : his life, work, and legacy / |
| title_full | Edsger Wybe Dijkstra : his life, work, and legacy / Krzysztof R. Apt, editor, Tony Hoare, editor. |
| title_fullStr | Edsger Wybe Dijkstra : his life, work, and legacy / Krzysztof R. Apt, editor, Tony Hoare, editor. |
| title_full_unstemmed | Edsger Wybe Dijkstra : his life, work, and legacy / Krzysztof R. Apt, editor, Tony Hoare, editor. |
| title_short | Edsger Wybe Dijkstra : |
| title_sort | edsger wybe dijkstra his life work and legacy |
| title_sub | his life, work, and legacy / |
| topic | Dijkstra, Edsger W. Dijkstra, Edsger W. fast https://id.oclc.org/worldcat/entity/E39PBJdwYyK7cfqHTvWkbjTPwC Computer programming. http://id.loc.gov/authorities/subjects/sh85107310 Programmation (Informatique) computer programming. aat Programming. bisacsh COMPUTERS. bisacsh Software Development & Engineering. bisacsh Computer programming fast |
| topic_facet | Dijkstra, Edsger W. Computer programming. Programmation (Informatique) computer programming. Programming. COMPUTERS. Software Development & Engineering. Computer programming Electronic books. Biographies. Essays. |
| work_keys_str_mv | AT aptkrzysztofr edsgerwybedijkstrahislifeworkandlegacy AT hoarecar edsgerwybedijkstrahislifeworkandlegacy AT dijkstraedsgerw edsgerwybedijkstrahislifeworkandlegacy |