Positive/Negative-Conditional Equations, A Constructor-Based Framework for Specification and Inductive Theorem Proving
Language: English
Published by Verlag Dr. Kovac, Hamburg, 1997
- First Edition
- Softcover
- New
Seller: Verlag Dr. Kovac GmbH, Hamburg, GermanyVerlag Dr. Kovac GmbH
AbeBooks seller since January 24, 2011
Condition: New
US$ 69.46
Quantity: 5 available
Add to basketItem description from seller
Forschungsergebnisse zur Informatik, Band 31 260 pages. Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale Methoden bei der Verifikation sicherheitskritischer Algorithmen unverzichtbar sind, ist davon auszugehen, dass mehr oder weniger automatisiertes Beweisen induktiver Theoreme in naher Zukunft wirtschaftliche Bedeutung erlangen wird. Positiv/negativ bedingte Gleichungen sind universell quantifizierte Implikationen erster Stufe mit einer einzelnen Gleichung im Sukzedens und einer Konjunktion von positiven und negativen (d.h. negierten) Gleichungen im Antezedens. Sie eignen sich zur funktionalen Spezifikation erster Stufe und lassen sich in direkter Weise als Programme auffassen. Mit Hilfe eines konstruktorbasierten Ansatzes wird algebraischen Spezifikationen mit positiv/negativ bedingten Gleichungen eine ihnen gemäße Semantik gegeben. Des weiteren wird die Reduktion mit positiv/negativ bedingten Regeln in solcher Weise definiert, dass die grundlegenden Ergebnisse für positiv bedingte Termersetzungssysteme ihre Gültigkeit behalten. Es ist von besonderer Wichtigkeit, dass die vorgestellten Begriffe induktiver Gültigkeit gegenüber konsistenter Spezifikationserweiterung ein monotones Verhalten aufweisen. Auf dieser Grundlage wird dann ein Inferenzsystem zum Nachweis verschiedener induktiver Gültigkeiten von Gleichungsklauseln entwickelt. Der konstruktorbasierte Ansatz erweist sich für einen derartigen Induktionsbeweis als gut geeignet, und auch das Auftreten partiell definierter und nichtterminierender Funktionen bereitet keine zusätzlichen Schwierigkeiten.…
Seller Inventory # x551
Bibliographic details
- Title
- Positive/Negative-Conditional Equations, A Constructor-Based Framework for Specification and Inductive Theorem Proving
- Author
- Claus-Peter Wirth
- Publisher
- Verlag Dr. Kovac, Hamburg
- Publication year
- 1997
- Condition
- neu
- Binding
- Softcover
- Language
- English
- ISBN 10
- 386064551X
- ISBN 13
- 9783860645512
- Edition
- 1. Auflage.
Verlag Dr. Kovac GmbH
Hamburg, Germany
AbeBooks seller since January 24, 2011
Shipping rates from Germany to U.S.A.
| Item | 16 to 35 business days | 7 to 14 business days |
|---|---|---|
| First item | US$ 19.80 | US$ 38.64 |
Payment methods
Store description
Der Wissenschaftsverlag Dr. Kovač wurde 1982 gegründet und ist ein Fachverlag für wissenschaftliche Literatur. Seit mehr als 40 Jahren verlegen Wissenschaftler/innen aus unterschiedlichsten Fachbereichen bei uns. Das Gros der mehr als 12.400 Forscher/innen, die wir verlegen, stammt von Universitäten im deutschsprachigen Raum.
Seller's business information
Verlag Dr. Kovac GmbH
Leverkusenstr. 13
Hamburg, Germany 22761
Terms of sale
Die Europäische Kommission bietet eine Onlineplattform für Streitbeilegung an, die Sie hier finden: http://ec.europa.eu/consumers/odr/
Unter diesem Link finden Sie die Kontaktdaten der offiziellen Streitbeilegungsstellen: https://webgate.ec.europa.eu/odr/main/index.cfm?event=main.adr.show
Rückgabebelehrung
Rückgaberecht
Sie können die erhaltene Ware ohne Angabe von Gründen innerhalb
von 14 Tagen durch Rücksendung der Ware zurückgeben. Die Frist
beginnt nach Erhalt dieser Belehrung in Textform (z. B. als
Brief, Fax, E-Mail), jedoch nicht vor Eingang der Ware beim
Empfänger (bei der wiederkehrenden Lieferung gleichartiger Waren
nicht vor Eingang der ersten Teillieferung) und auch nicht vor
Erfüllung unserer Informationspflichten gemäß Artikel 246 § 2 in
Verbindung mit § 1 Absatz 1 und 2 EGBGB sowie unserer Pflichten
gemäß § 312g Absatz 1 Satz 1 BGB in Verbindung mit Artikel 246 §
3 EGBGB. Nur bei nicht paketversandfähiger Ware (z. B. bei
sperrigen Gütern) können Sie die Rückgabe auch durch
Rücknahmeverlangen in Textform erklären. Zur Wahrung der Frist
genügt die rechtzeitige Absendung der Ware oder des
Rücknahmeverlangens. In jedem Fall erfolgt die Rücksendung auf
unsere Kosten und Gefahr. Die Rücksendung oder das
Rücknahmeverlangen hat zu erfolgen an:
Verlag Dr. Kovac GmbH
Leverkusenstraße 13
22761 Hamburg
Rückgabefolgen
Im Falle einer wirksamen Rückgabe sind die beiderseits
empfangenen Leistungen zurückzugewähren und ggf. gezogene
Nutzungen herauszugeben. Bei einer Verschlechterung der Sache und
für Nutzungen (z. B. Gebrauchsvorteile), die nicht oder teilweise
nicht oder nur in verschlechtertem Zustand herausgegeben werden
können, müssen Sie uns insoweit Wertersatz leisten. Für die
Verschlechterung der Sache und für gezogene Nutzungen müssen Sie
Wertersatz nur leisten, soweit die Nutzungen oder die
Verschlechterung auf einen Umgang mit der Sache zurückzuführen
ist, der über die Prüfung der Eigenschaften und der
Funktionsweise hinausgeht. Unter "Prüfung der Eigenschaften und
der Funktionsweise" versteht man das Testen und Ausprobieren der
jeweiligen Ware, wie es etwa im Ladengeschäft möglich und üblich
ist. Verpflichtungen zur Erstattung von Zahlungen müssen
innerhalb von 30 Tagen erfüllt werden. Die Frist beginnt für Sie
mit der Absendung der Ware oder des Rücknahmeverlangens, für uns
mit dem Empfang.
Ende der Rückgabebelehrung
Shipping terms
Die Versandkostenpauschalen basieren auf Sendungen mit einem durchschnittlichen Gewicht. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden wir Sie informieren, falls zusätzliche Versandkosten anfallen.