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
£ 52.63
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 | £ 15.00 | £ 29.28 |
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
Verlag Dr. Kova? GmbH
Geschäftsführer: Elke Grotzke, Susanne Mielau, Michael Leu
Amtsgericht Hamburg HRB 117818
Hausanschrift: Leverkusenstraße 13, 22761 Hamburg
Postanschrift: Postfach 57 01 42, 22770 Hamburg
Telefonnummer: +49-(0)40 - 39 88 80 - 0
Faxnummer: +49-(0)40 - 39 88 80 - 55
E-Mail-Adresse: info[at]verlagdrkovac.de
Right of withdrawal
If you are a consumer you can withdraw from the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.
Information regarding the right of withdrawal
Statutory right to withdraw
You have the right to withdraw from this contract within 14 days without giving any reason.
The withdrawal period will expire after 14 days from the day on which you acquire, or a third party other than the carrier and indicated by you acquires, physical possession of the last good or the last lot or piece.
To exercise the right of withdrawal, electronically fill in and submit a clear statement on our website, under "My Purchases" in "My Account". We will communicate to you an acknowledgement of receipt of such a withdrawal on a durable medium (e.g. by e-mail) without delay.
To meet the withdrawal deadline, it is sufficient for you to send your communication concerning your exercise of the right of withdrawal before the withdrawal period has expired.
Effects of withdrawal
If you withdraw from this contract, we will reimburse to you all payments received from you, including the costs of delivery (except for the supplementary costs arising if you chose a type of delivery other than the least expensive type of standard delivery offered by us).
We may make a deduction from the reimbursement for loss in value of any goods supplied, if the loss is the result of unnecessary handling by you.
We will make the reimbursement without undue delay, and not later than 14 days after the day on which we are informed about your decision to withdraw from this contract.
We will make the reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any fees as a result of such reimbursement.
We may withhold reimbursement until we have received the goods back, or you have supplied evidence of having sent back the goods, whichever is the earliest.
You shall send back the goods or hand them over to Verlag Dr. Kovac GmbH, Hamburg, Germany, without undue delay and in any event not later than 14 days from the day on which you communicate your withdrawal from this contract to us. The deadline is met if you send back the goods before the period of 14 days has expired. You will have to bear the direct cost of returning the goods. You are only liable for any diminished value of the goods resulting from the handling other than what is necessary to establish the nature, characteristics and functioning of the goods.
Exceptions to the right of withdrawal
The right of withdrawal does not apply to:
- The delivery of newspapers, journals or magazines with the exception of subscription contracts; and
- The supply of digital content which is not supplied on a tangible medium (e.g. on a CD or DVD) if you accepted when you placed your order that we could start to deliver it, and that you could not withdraw once delivery had started.
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.