Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems, 14)
Sprache: Englisch
Verlag: Kluwer Academic Publishers, Dordrecht, Boston and London, 1993
- Hardcover
- Gebraucht

Anbieter: Smith Family Bookstore Downtown, Eugene, OR, USASmith Family Bookstore Downtown
AbeBooks-Verkäufer/-in seit 13. Februar 2009
Zustand: Gebraucht - Gut
EUR 44,44
Anzahl: 1 verfügbar
In den WarenkorbArtikelbeschreibung vom Verkäufer
Bestandsnummer des Verkäufers 5053976
- Titel
- Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems, 14)
- Autor
- Colburn, Timothy T.R.; Fetzer, J.H.; Rankin, R.L.
- Verlag
- Kluwer Academic Publishers, Dordrecht, Boston and London
- Veröffentlichungsjahr
- 1993
- Zustand
- Very Good
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 0792319656
- ISBN-13
- 9780792319658
Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, `Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry.
The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study.
This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Smith Family Bookstore Downtown
Eugene, OR, USA
AbeBooks-Verkäufer/-in seit 13. Februar 2009
Versandkosten innerhalb von USA
| Artikel | 5 bis 14 Werktage | 3 bis 6 Werktage |
|---|---|---|
| Erster Artikel | EUR 5,13 | EUR 15,49 |
Zahlungsarten
Shop-Beschreibung
Spezialisierung
Self-Help, How-to, Literature, History, Sciences, Social Sciences, Religion, LanguagesUnternehmensdaten der Verkäuferin bzw. des Verkäufers
Smith Family Bookstore Downtown, Inc.
525 Willamette Street
Eugene, OR USA 97401
Verkaufsbedingungen
We guarantee the condition of every book as it's described on the Abebooks web sites. If the book is not as not as described or damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you change your mind please use the Ask bookseller a question link to contact us about a return and we'll usually respond within 2 business days.
Smith Family Bookstore, Inc.
525 Willamette Street
Eugene OR 97401
sfbooks2@gmail.com
Tax ID 93-0813752
Authorized Representative: Dean Smith
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 Smith Family Bookstore Downtown, Eugene, Oregon, U.S.A., 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
Tracking information can be found under Item Details in Your Purchases. Books ship within one business day except weekends. ?There are no additional charges generally for oversized except for exceptionally large books. International shipping is based on standard flat-rate mailer costs. Extra postage will be required for oversized books.