Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
The Dawn of Software Engineering: From Turing to Dijkstra
ISBN: 9789491386022 / Angielski / Miękka / 2012 / 250 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Contrary to what many believe, Alan Turing is not the father of the all-purpose computer. Engineers were, independently of Turing, already building such machines during World War II. Turings influence was felt more in programming after his death than in computer building during his lifetime. The first person to receive a Turing award was a programmer, not a computer builder.
Logicians and programmers recast Turings notions of machine and universality. Gradually, these recast notions helped programmers to see the bigger picture of what they were accomplishing. Later, problems unsolvable with... Contrary to what many believe, Alan Turing is not the father of the all-purpose computer. Engineers were, independently of Turing, already building su...
|
cena:
115,61 |
 |
The Future of Software Engineering: Panel Discussions
ISBN: 9789491386015 / Angielski / Miękka / 2011 / 48 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
53,95 |
 |
Pluralism in Software Engineering: Turing Award Winner Peter Naur Explains
ISBN: 9789491386008 / Angielski / Miękka / 2011 / 134 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) "What an absolutely cool guy " --- Dennis Shasha, NYU "Fascinating... very worthwhile" --- Robert Harper, CMU What mathematical rigor has and has not to offer to software engineers. Peter Naur wrote his first research paper at the age of 16. Soon an internationally acclaimed astronomer, Naur's expertise in numerical analysis gave him access to computers from 1950. He helped design and implement the influential ALGOL programming language. During the 1960s, Naur was in sync with the research agendas of McCarthy, Dijkstra, and others. By 1970, however, he had distanced himself from them. Instead...
"What an absolutely cool guy " --- Dennis Shasha, NYU "Fascinating... very worthwhile" --- Robert Harper, CMU What mathematical rigor has and has not ...
|
cena:
77,47 |
 |
Formalism & Intuition in Software Development
ISBN: 9789491386053 / Angielski / Miękka / 2015 / 104 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Michael A. Jackson is fascinated by the fundamental question: What is software engineering? Jackson reflects on the constituents of software development. He contrasts the views of Edsger Dijkstra, Tony Hoare, Donald Knuth, Peter Naur, David Parnas, Christopher Strachey, Pamela Zave, and others. Some of the many interrelated topics that come to the fore are software malleability, program transformation systems, and the history of automobile engineering.
Michael A. Jackson is fascinated by the fundamental question: What is software engineering? Jackson reflects on the constituents of software developme...
|
cena:
64,69 |
 |
The Essential Knuth
ISBN: 9789491386039 / Angielski / Miękka / 2013 / 94 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Donald E. Knuth lived two separate lives in the late 1950s. During daylight he ran down the visible and respectable lane of mathematics. During nighttime, he trod the unpaved road of computer programming and compiler writing. Both roads intersected -- as Knuth discovered while reading Noam Chomsky's book Syntactic Structures on his honeymoon in 1961. "Chomsky's theories fascinated me, because they were mathematical yet they could also be understood with my programmer's intuition. It was very curious because otherwise, as a mathematician, I was doing integrals or maybe was learning about...
Donald E. Knuth lived two separate lives in the late 1950s. During daylight he ran down the visible and respectable lane of mathematics. During nightt...
|
cena:
56,06 |
 |
Turing Tales
ISBN: 9789491386060 / Angielski / Miękka / 2016 / 266 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Edgar Daylight's rather provocative theme in this book is that many high-profile computer scientists do not consistently distinguish between their favorite mathematical concepts and the representations thereof in the real world. This leads to mistakes. Daylight introduces seemingly small but useful distinctions. As a result, technical corrections are put forth in connection with formal verification, computer viruses, and program transformation systems. Even mathematics isn't free from conceptual flaws. Raymond Boute scrutinizes several unsound treatments of the... Edgar Daylight's rather provocative theme in this book is that many high-profile computer scientists do not consistently distinguish between th... |
cena:
107,90 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
