Reflections on the Work of C.A.R. Hoare (History of Computing)
Sprache: Englisch
Verlag: Springer, 2010
- Hardcover
- Neu
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
AbeBooks-Verkäufer/-in seit 25. März 2015
Zustand: Neu
EUR 182,44
Anzahl: Mehr als 20 verfügbar
In den WarenkorbArtikelbeschreibung des Verkäufers
In English.
Bestandsnummer des Verkäufers ria9781848829114_new
- Titel
- Reflections on the Work of C.A.R. Hoare (History of Computing)
- Verlag
- Springer
- Erscheinungsjahr
- 2010
- Zustand
- New
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 1848829116
- ISBN-13
- 9781848829114
- Artikelgewicht
- 917 Gramm
Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is "the highest goal of programming-language design to enable good ideas to be elegantly expressed" These are the words of Sir Charles Antony Richard Hoare, or Tony Hoare to his colleagues and friends, a man who has inspired generations of researchers in computer science. His work, grounded in practical programming, has had a profound impact on the evolution of the field. This includes the development of Hoare logic and Communicating Sequential Processes (CSP).
Reflections on the Work of C.A.R. Hoare presents a comprehensive edited survey of all aspects of these subjects, with original contributions by more than 30 international leaders in the field. The book, while honoring Hoare's important contributions, assembles a collection of chapters showing the state of the art in programming languages, sequential programs, concurrency, and unified theories of programming.
Topics and features:
- Provides a scientific biography of Tony Hoare
- Demonstrates a principled combination of CSP and functional programming, and a CSP semantics for the pi-calculus
- Reviews methods for proving Hoare formulae
- Investigates developments in game semantics and semantics based on the state monad
- Examines the satisfiability problem, void safety, and issues of auxiliary variables
- Introduces type families in Haskell and a description of Quicksort in Orc
- Describes an experiment using the Tokeneer archive, and a correctness proof of cryptographic protocols based on the Shadow Security model
- Presents a representation of CSP as a bigraphical reactive system, and shows how simple entities can be related to CSP processes
- Discusses the problem-frames approach, and explores algebraicproperties of the new programming combinators
This accessible monograph is an ideal overview of theoretical and empirical evolution in programming logic and semantics of programming languages. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge in all of the areas covered.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Von der hinteren Coverseite
Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is "the highest goal of programming-language design to enable good ideas to be elegantly expressed" These are the words of Sir Charles Antony Richard Hoare, or Tony Hoare to his colleagues and friends, a man who has inspired generations of researchers in computer science. His work, grounded in practical programming, has had a profound impact on the evolution of the field. This includes the development of Hoare logic and Communicating Sequential Processes (CSP).
Reflections on the Work of C.A.R. Hoare presents a comprehensive edited survey of all aspects of these subjects, with original contributions by more than 30 international leaders in the field. The book, while honoring Hoare's important contributions, assembles a collection of chapters showing the state of the art in programming languages, sequential programs, concurrency, and unified theories of programming.
Topics and features:
- Provides a scientific biography of Tony Hoare
- Demonstrates a principled combination of CSP and functional programming, and a CSP semantics for the π-calculus
- Reviews methods for proving Hoare formulae
- Investigates developments in game semantics and semantics based on the state monad
- Examines the satisfiability problem, void safety, and issues of auxiliary variables
- Introduces type families in Haskell and a description of Quicksort in Orc
- Describes an experiment using the Tokeneer archive, and a correctness proof of cryptographic protocols based on the Shadow Security model
- Presents a representation of CSP as a bigraphical reactive system, and shows how simple entities can be related to CSP processes
- Discusses the problem-frames approach, and explores algebraicproperties of the new programming combinators
This accessible monograph is an ideal overview of theoretical and empirical evolution in programming logic and semantics of programming languages. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge in all of the areas covered.
„Über diesen Titel“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Ria Christie Collections
Uxbridge, Vereinigtes Königreich
AbeBooks-Verkäufer/-in seit 25. März 2015
Versandkosten von Vereinigtes Königreich nach USA
| Artikel | 6 bis 12 Werktage | 6 bis 12 Werktage |
|---|---|---|
| Erster Artikel | EUR 13,17 | EUR 15,15 |
Zahlungsarten
Shopbeschreibung
Hello! Ria Christie Collections is an online venture that was initially set up in 2012 to sell books. We do not have a physical high street store. We are professional online booksellers. We only sell brand new books in perfect condition that we source from various suppliers and the publishers. Primarily, our aim is to provide an excellent service to all our customers. We always work as a team to achieve this. Our other objectives are to: 1. Ensure that all our products reach their destination quickly in a safe and secure manner 2. Answer to all our customer queries within 24 hours 3. Ensure that our customers are happy with their purchases 4. Provide all the items at a competitive price 5. Always listen to our customers Ria Christie Collections is not a registered company. It is a Sole Trader venture. Other key information is shown below: Contact Person Name: Rakesh Luchmun (Mr) Storefront Name: Ria Christie Collections Place of Establishment Address: Suite B; ARUN House; ARUN Building Arundel Road Uxbridge UB8 2RR United Kingdom E-Mail Address: riachristie@hotmail.co.uk VAT Number: GB 160 5650 25 We always work hard and aim to comply with all of Abebooks Policies. If you have any issues, please do not hesitate to write to us whether before or after a purchase. We promise to reply to you promptly and, in any case, within 24 hours. Thank you kindly! Yours sincerely Mr Rakesh Luchmun (Founder) and the Ria Christie Collections Team…
Spezialisierung
Educational books, Textbooks, Fiction, Non- fictionUnternehmensdaten der Verkäuferin bzw. des Verkäufers
Ryefield Investments Limited
175 Pield Heath Road
Uxbridge, Vereinigtes Königreich UB8 3NL
Verkaufsbedingungen
All Returns and Refund are as per Abebooks policies.
Widerrufsrecht
Wenn Sie Verbraucher sind, können Sie gemäß den folgenden Bestimmungen vom Vertrag zurücktreten. Verbraucher ist jede natürliche Person, die zu Zwecken handelt, die nicht ihrer kaufmännischen, gewerblichen, künstlerischen oder beruflichen Tätigkeit zugerechnet werden können.
Informationen zum Widerrufsrecht
Gesetzliches Widerrufsrecht
Sie haben das Recht, den Vertrag innerhalb von 14 Tagen ohne Angabe von Gründen zu widerrufen.
Die Widerrufsfrist beträgt 14 Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Transporteur ist, die letzte Ware oder den letzten Posten oder das letzte Exemplar in Besitz genommen hat.
Um das Widerrufsrecht auszuüben, füllen Sie auf unserer Website unter „Meine Einkäufe" in „Mein Nutzerkonto" eine eindeutige Erklärung elektronisch aus und senden Sie sie ab. Wir werden Ihnen unverzüglich eine Bestätigung über den Eingang eines solchen Widerrufs auf einem dauerhaften Datenträger (z. B. per E-Mail) übermitteln.
Um die Widerrufsfrist einzuhalten, reicht es aus, dass Sie Ihre Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Auswirkungen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, erstatten wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die entstehen, wenn Sie eine andere Art der Lieferung als die von uns angebotene günstigste Standardlieferung gewählt haben).
Wir können einen Abzug von der Rückerstattung für den Wertverlust der gelieferten Waren vornehmen, wenn der Verlust auf eine unnötige Behandlung durch Sie zurückzuführen ist.
Wir werden die Rückerstattung unverzüglich und nicht später als 14 Tage nach dem Tag vornehmen, an dem wir über Ihre Entscheidung, diesen Vertrag zu widerrufen, informiert wurden.
Für die Rückerstattung verwenden wir dasselbe Zahlungsmittel, das Sie für die ursprüngliche Transaktion verwendet haben, es sei denn, Sie haben ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen aufgrund einer solchen Rückerstattung Gebühren berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, was eher eintritt.
Sie müssen die Waren unverzüglich und in jedem Fall spätestens 14 Tage ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an Ria Christie Collections, Uxbridge, United Kingdom, zurücksenden oder übergeben. Die Frist ist eingehalten, wenn Sie die Ware vor Ablauf der Frist von 14 Tagen zurücksenden. Sie müssen die direkten Kosten der Rücksendung der Waren tragen. Sie haften nur für einen etwaigen Wertverlust der Waren, der auf eine Behandlung zurückzuführen ist, die nicht zur Prüfung der Art, Eigenschaften und Funktionsweise der Waren erforderlich ist.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht gilt nicht für:
- Die Lieferung von Zeitungen, Zeitschriften oder Magazinen mit Ausnahme von Abonnementverträgen; und
- Die Lieferung digitaler Inhalte, die nicht auf einem physischen Medium (z. B. auf einer CD oder DVD) geliefert werden, wenn Sie bei Ihrer Bestellung akzeptiert haben, dass wir mit der Lieferung beginnen können und dass Sie nach Beginn der Lieferung den Vertrag nicht mehr widerrufen können.
Versandbedingungen
Orders usually ship within 2 business days. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Thank you!