Artículos relacionados a Edsger Wybe Dijkstra: His Life, Work, and Legacy (ACM...

Edsger Wybe Dijkstra: His Life, Work, and Legacy (ACM Books) - Tapa dura

 
9781450397735: Edsger Wybe Dijkstra: His Life, Work, and Legacy (ACM Books)

Sinopsis

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.

In this unique new book, 31 computer scientists, including five recipients of the Turing Award, present and discuss Dijkstra's numerous contributions to computing science and assess their impact. Several authors knew Dijkstra as a friend, teacher, lecturer, or colleague. Their biographical essays and tributes provide a fascinating multi-author picture of Dijkstra, from the early days of his career up to the end of his life.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Krzysztof R. Apt is a Fellow at CWI (Centre Mathematics and Computer Science) in Amsterdam and Affiliated Professor at the University of Warsaw. He is also Professor Emeritus at the University of Amsterdam. He earned his Ph.D. degree in mathematics from the Polish Academy of Sciences in Warsaw in 1974. During his scientific career, he held tenure positions in Poland, France, the USA, and the Netherlands. Apt published four books and several articles in computer science, mathematical logic, and, more recently, theoretical economics. In computer science his research interests have included program correctness and semantics, use of logic as a programming language, design of programming languages, distributed computing, and algorithmic game theory. For the past 20 years he has been involved in a number of initiatives aiming at open access to scientific publications. He is a member of Academia Europaea, the founder and first Editor-in-Chief of the ACM Transactions on Computational Logic, and past president of the Association for Logic Programming. Together with Tony Hoare, he is the editor of this volume.

Tony Hoare was on the faculty of the Queen's University of Belfast from 1968 until 1977. He moved to Oxford University as Professor of Computation in 1977, where he remained until his retirement from academia in 1999. Shortly thereafter he joined the Microsoft Research Laboratory in Cambridge (UK). His research has spanned several aspects of programming including design of data structures and programming languages, program verification, and concurrency. He invented Quicksort, conceived Hoare logic, proposed (jointly with Per Brinch Hansen) the concept of a monitor, and introduced Communicating Sequential Processes both as a language for distributed programming and, later, as a formalism to reason about concurrency and nondeterminism. His more recent work is concerned with the Unifying Theories of Programming. Hoare received the Turing Award in 1980, the Harry H. Goode Memorial Award in 1981, the Kyoto Prize in 2000, and the IEEE John von Neumann Medal in 2011. In 2000, he was knighted by the British Queen for services to education and computer science. He holds honorary doctorates from several universities and is a fellow or foreign member of various learned societies, including the UK Royal Society, the UK Royal Academy of Engineering, the US National Academy of Sciences, the US National Academy of Engineering, and the Computer History Museum. Together with Krzysztof R. Apt, he is the editor of this volume.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Como Nuevo
Unread book in perfect condition...
Ver este artículo

EUR 17,55 gastos de envío desde Estados Unidos de America a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 5,07 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9781450397711: Edsger Wybe Dijkstra: His Life, Work, and Legacy (ACM Books)

Edición Destacada

ISBN 10:  1450397719 ISBN 13:  9781450397711
Editorial: Association for Computing Machinery, 2022
Tapa blanda

Resultados de la búsqueda para Edsger Wybe Dijkstra: His Life, Work, and Legacy (ACM...

Imagen de archivo

Krzysztof R. Apt
Publicado por MP-ACM ACM Books, 2022
ISBN 10: 1450397735 ISBN 13: 9781450397735
Nuevo Tapa dura

Librería: PBShop.store UK, Fairford, GLOS, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: FW-9781450397735

Contactar al vendedor

Comprar nuevo

EUR 118,17
Convertir moneda
Gastos de envío: EUR 5,07
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 15 disponibles

Añadir al carrito

Imagen del vendedor

Apt, Krzysztof R.;hoare, Tony
Publicado por ACM Books, 2022
ISBN 10: 1450397735 ISBN 13: 9781450397735
Nuevo Tapa dura

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 44711228-n

Contactar al vendedor

Comprar nuevo

EUR 117,08
Convertir moneda
Gastos de envío: EUR 17,55
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Apt, Krzysztof R./ Hoare, Tony
Publicado por Morgan & Claypool, 2022
ISBN 10: 1450397735 ISBN 13: 9781450397735
Nuevo Tapa dura
Impresión bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Brand New. 574 pages. 9.65x7.76x1.54 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __1450397735

Contactar al vendedor

Comprar nuevo

EUR 127,00
Convertir moneda
Gastos de envío: EUR 11,91
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Apt, Krzysztof R.|Hoare, Tony
Publicado por ACM BOOKS, 2022
ISBN 10: 1450397735 ISBN 13: 9781450397735
Nuevo Tapa dura

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. &Uumlber den AutorKrzysztof R. Apt is a Fellow at CWI (Centre Mathematics and Computer Science) in Amsterdam and Affiliated Professor at the University of Warsaw. He is also Professor Emeritus at the University of Amsterdam. H. Nº de ref. del artículo: 721576176

Contactar al vendedor

Comprar nuevo

EUR 124,11
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Apt, Krzysztof R.;hoare, Tony
Publicado por ACM Books, 2022
ISBN 10: 1450397735 ISBN 13: 9781450397735
Nuevo Tapa dura

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 44711228-n

Contactar al vendedor

Comprar nuevo

EUR 135,80
Convertir moneda
Gastos de envío: EUR 17,87
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Apt, Krzysztof R.;hoare, Tony
Publicado por ACM Books, 2022
ISBN 10: 1450397735 ISBN 13: 9781450397735
Antiguo o usado Tapa dura

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 44711228

Contactar al vendedor

Comprar usado

EUR 136,82
Convertir moneda
Gastos de envío: EUR 17,55
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Apt, Krzysztof R./ Hoare, Tony
Publicado por Morgan & Claypool, 2022
ISBN 10: 1450397735 ISBN 13: 9781450397735
Nuevo Tapa dura

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Brand New. 574 pages. 9.65x7.76x1.54 inches. In Stock. Nº de ref. del artículo: x-1450397735

Contactar al vendedor

Comprar nuevo

EUR 142,98
Convertir moneda
Gastos de envío: EUR 11,91
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Krzysztof R Apt
Publicado por ACM Books, 2022
ISBN 10: 1450397735 ISBN 13: 9781450397735
Nuevo Tapa dura
Impresión bajo demanda

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 363. Nº de ref. del artículo: C9781450397735

Contactar al vendedor

Comprar nuevo

EUR 149,93
Convertir moneda
Gastos de envío: EUR 6,77
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Krzysztof R Apt
ISBN 10: 1450397735 ISBN 13: 9781450397735
Nuevo Tapa dura

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. Neuware - 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. Nº de ref. del artículo: 9781450397735

Contactar al vendedor

Comprar nuevo

EUR 146,59
Convertir moneda
Gastos de envío: EUR 11,99
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Apt, Krzysztof R; Hoare, Tony
Publicado por ACM Books, 2022
ISBN 10: 1450397735 ISBN 13: 9781450397735
Nuevo Tapa dura

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9781450397735_new

Contactar al vendedor

Comprar nuevo

EUR 159,01
Convertir moneda
Gastos de envío: EUR 4,74
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 4 copia(s) de este libro

Ver todos los resultados de su búsqueda