Dynamic Logic (FOUNDATIONS OF COMPUTING SERIES)
Sprache: Englisch
Verlag: MIT Press, 2000
- Hardcover
- Gebraucht

Anbieter: Studibuch, Stuttgart, DeutschlandStudibuch
AbeBooks-Verkäufer/-in seit 24. April 2018
Zustand: Gebraucht - Gut
EUR 24,22
Anzahl: 1 verfügbar
In den WarenkorbArtikelbeschreibung vom Verkäufer
459 Seiten; 9780262082891.3 Gewicht in Gramm: 2.
Bestandsnummer des Verkäufers 1093018
- Titel
- Dynamic Logic (FOUNDATIONS OF COMPUTING SERIES)
- Autor
- Harel, David, Jerzy Tiuryn und Dexter Kozen:
- Verlag
- MIT Press
- Veröffentlichungsjahr
- 2000
- Zustand
- Gut
- Einband
- hardcover
- Sprache
- Englisch
- ISBN-10
- 0262082896
- ISBN-13
- 9780262082891
- Artikelgewicht
- 2 Gramm
- Verkäuferkataloge
- Varia
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications.This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Über die Autorin bzw. den Autor
„Über diesen Titel“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Studibuch
Stuttgart, Deutschland
AbeBooks-Verkäufer/-in seit 24. April 2018
Versandkosten von Deutschland nach USA
| Artikel | 10 bis 21 Werktage | 10 bis 21 Werktage |
|---|---|---|
| Erster Artikel | EUR 62,30 | EUR 77,30 |
Zahlungsarten
- Vorauskasse
Shop-Beschreibung
Studibuch ist ein Onlineshop für Studien- und Fachbücher. Bei uns bekommst Du gebrauchte und gut erhaltene Fachliteratur zu fairen Preisen. Bücher mehrmals zu verwenden bedeutet, knappe Ressourcen nachhaltig zu nutzen. Durch deinen Einkauf bei Studibuch entsteht eine Wertekette, die vollständig auf nachhaltiges Wirtschaften ausgerichtet ist und ein Zeichen gegen die Wegwerfmentalität setzt. Wenn Du selbst noch gebrauchte Fachbücher hast, die Du nicht mehr benötigst dann kannst Du sie auf Studibuch.de verkaufen. Mit Deinem Verkauf bei Studibuch schaffst Du Platz im Regal und kannst den Verkaufserlös für ein neues Fachbuch nutzen. Der Verkauf funktioniert ganz einfach. Du gibst die ISBN oder den Buchtitel auf unserer Seite ein oder scannst mit der kostenlosen Studibuch App den Barcode des Buches. Jetzt fehlt nur noch eine Angabe zum Zustand und dann wird Dir direkt der Verkaufspreis genannt. Nachdem Du alle Bücher eingegeben hast, kannst Du über einen Link Deinen Paketschein ausdrucken und die Bücher an uns versenden. Nach Eintreffen der Bücher erhältst Du garantiert innerhalb von drei Werktagen Dein Geld.…
Spezialisierung
FachbücherUnternehmensdaten der Verkäuferin bzw. des Verkäufers
Studibuch GmbH
Neue Weinsteige 69
Stuttgart, Deutschland 70180
Verkaufsbedingungen
Studibuch GmbH
Neue Weinsteige 69
70180 Stuttgart
E-Mail-Adresse: orders@studibuch.de
Geschäftsführer: Lutz Gaissmaier
Registergericht: Amtsgericht Stuttgart
Handelsregisternummer: HRB 752634
Ust-ID: DE300598670
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 Studibuch, Stuttgart, Germany, 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
Außerhalb Deutschlands versenden wir mit Versicherung bis 50 EUR (bei Paketen bis 2kg). Zusätzlich mit Sendungsverfolgungsnummer.
Achtung! Rücksendungen bei Annahmeverweigerung oder nicht erfolgter Abholung
Sendungen, die aufgrund einer Annahmeverweigerung durch den Kunden oder wegen nicht rechtzeitiger Abholung beim Versanddienstleister an uns zurückgesendet werden, gelten nicht als reguläre Rücksendungen im Rahmen des Widerrufsrechts. In solchen Fällen behalten wir uns vor, eine pauschale Bearbeitungs- und Rücksendegebühr vom zu erstattenden Kaufpreis abzuziehen.
Die Gebühren setzen sich aus Bearbeitungsgebühr und Rücksendekosten zusammen und betragen:
Für Rücksendungen innerhalb Deutschlands: 4,90 €
Für Rücksendungen aus dem Ausland: 12,90 €
Die Summe der Gebühren wird automatisch bei der Rückerstattung verrechnet.**