
A Classical Mind Essays in Honour of C.A.R. Hoare (Prentice Hall International Series in Computer Science)
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
"A Classical Mind: Essays in Honour of C.A.R. Hoare" ist eine Sammlung von wissenschaftlichen Aufsätzen, die zu Ehren des renommierten Informatikers C.A.R. Hoare verfasst wurden. Herausgegeben von A.W. Roscoe, versammelt das Buch Beiträge führender Experten im Bereich der Informatik, die sich mit verschiedenen Aspekten von Hoares Arbeit und deren Einfluss auf die Disziplin beschäftigen. Die Essays decken ein breites Spektrum an Themen ab, darunter formale Methoden, Programmiersprachen, Algorithmen und Systemdesign. Viele der Beiträge reflektieren über Hoares berühmte Arbeiten wie den Quicksort-Algorithmus und das Konzept der Hoare-Logik zur Verifizierung von Programmen. Die Autoren würdigen nicht nur seine technischen Beiträge, sondern auch seinen Einfluss als Lehrer und Mentor. Das Buch bietet sowohl einen tiefen Einblick in die theoretischen Grundlagen der Informatik als auch in praktische Anwendungen und zeigt auf, wie Hoares Ideen weiterhin aktuelle Forschungsfragen und technologische Entwicklungen beeinflussen. Es ist eine Hommage an einen Pionier, dessen Arbeit die Art und Weise geprägt hat, wie wir über Softwareentwicklung denken.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Taschenbuch
- 274 Seiten
- Erschienen 2012
- ICRL Press
- paperback -
- Erschienen 2004
- Birkhäuser
- Kartoniert
- 128 Seiten
- Erschienen 1990
- Springer
- Hardcover -
- Erschienen 1997
- Springer
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
- paperback
- 448 Seiten
- Erschienen 2008
- Springer
- Hardcover
- 176 Seiten
- Erschienen 1980
- De Gruyter Mouton