Edsger Wybe Dijkstra : his life, work, and legacy

Saved in:
Bibliographic Details
Other Authors: Apt, Krzysztof R., 1949- (Editor), Hoare, C. A. R. 1934- (Editor), Dijkstra, Edsger W.
Format: eBook
Language: English
Published: [New York, New York] : Association for Computing Machinery, [2022].
Edition: First Edition.
Series: ACM books ; no. 45.
Subjects:
Dijkstra, Edsger W.
Computer programming.
elektronické knihy
electronic books
ISBN: 9781450397742
9781450397728
9781450397735
9781450397711
Physical Description: 1 online zdroj (xxiv, 550 stran) : portréty

Cover

Table of contents

LEADER 04019cam a2200469 i 4500
001 108508
003 CZ-ZlUTB
005 20230711162753.0
006 m o d
007 cr |||||||||||
008 220712s2022 nyuc ob 001 0deng d
040 |a STF  |b eng  |c STF  |e rda  |d UAB  |d ZWU  |d GZM  |d OCLCF  |d CUS 
020 |a 9781450397742  |q (ebook) 
020 |a 9781450397728  |q (epub) 
020 |z 9781450397735  |q (hardcover) 
020 |z 9781450397711  |q (paperback) 
024 7 |a 10.1145/3544585  |2 doi 
035 |a (OCoLC)1337075477 
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 zdroj (xxiv, 550 stran) :  |b portréty 
336 |a text  |b txt  |2 rdacontent 
337 |a počítač  |b c  |2 rdamedia 
338 |a online zdroj  |b cr  |2 rdacarrier 
490 1 |a ACM books,  |x 2374-6777 ;  |v #45 
504 |a Obsahuje bibliografické odkazy a 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. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
600 1 0 |a Dijkstra, Edsger W. 
600 1 7 |a Dijkstra, Edsger W.  |2 fast  |0 (OCoLC)fst00093696 
650 0 |a Computer programming. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Apt, Krzysztof R.,  |d 1949-  |e editor. 
700 1 |a Hoare, C. A. R.  |q (Charles Antony Richard),  |d 1934-  |e editor. 
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. 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/book/10.1145/3544585  |y Plný text 
992 |c EBOOK-TN  |c ACM 
999 |c 108508  |d 108508 

Similar Items