Deductive and Declarative Programming

77,21 €
+ 4,99 € Versand

Deductive and Declarative Programming

Verkauft von:
  • product image

77,21 €

Auf Lager
+ 4,99 € Versand

14-Tage-Rückgabepolitik

Käuferschutz

Zahlungsmethoden:

  • Marke: Unbranded
Produktdetails

Produktdetails

Deductive and Declarative Programming

Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference rules i. e. deduction (in contrast with model-theoretic approaches deductive methods can be automated to some extent). His treatment of the subject differs from others in that he tries to capture the actual styles and applications of programming; neither too general with respect to the underlying logic nor too restrictive for the practice of programming. He generalizes and unifies results from classical theorem-proving and term rewriting to provide proof methods tailored to declarative program synthesis and verification. Detailed examples accompany the development of the methods whose use is supported by a documented prototyping system. The book can be used for graduate courses or as a reference for researchers in formal methods theorem-proving and declarative languages. Language: English
  • Marke: Unbranded
  • Kategorie: Computer und Internet
  • Künstler: Padawitz P.
  • Format: Paperback
  • Verlag / Label: Cambridge University Press
  • Sprache: English
  • Erscheinungsdatum: 2006/10/19
  • Seitenzahl: 288
  • Fruugo-ID: 337398773-741030956
  • ISBN: 9780521032513
Versprechen

Verkäufergarantie

Gesetzliche Gewährleistung von 2 Jahren inklusive

Ihre Verbraucherrechte in der EU beinhalten eine kostenlose gesetzliche Gewährleistung von mindestens 2 Jahren

Gesetzliche Gewährleistung herunterladen
Lieferung

Lieferung

Versand innerhalb von 5 Tagen

  • STANDARD: 8,20 € - Lieferung zwischen Di. 13 Oktober 2026–Mi. 14 Oktober 2026

Versand von Vereinigtes Königreich.

Rücksendung

Rückgabe & Stornierung

Rückgabe

Wir tun unser Bestes, um dafür zu sorgen, dass die von Ihnen bestellten Produkte vollständig und gemäß Ihrer Spezifikationen an Sie geliefert werden. Wenn Sie allerdings eine unvollständige Bestellung oder Artikel erhalten, die sich von den bestellten unterscheiden, oder es einen anderen Grund gibt, warum Sie mit Ihrer Bestellung nicht zufrieden sind, können Sie die gesamte Bestellung oder einzelne darin enthaltenen Produkte zurücksenden und eine vollständige Rückerstattung für die Artikel erhalten.

Vollständige Rückgaberichtlinie ansehen

Stornierung

Sie haben das Recht, innerhalb von 14 Tagen nach Erhalt Ihrer Bestellung ohne Angabe von Gründen von Ihrem Kauf zurückzutreten. Um Ihr Widerrufsrecht einfach auszuüben, können Sie den Link „Meine Bestellung stornieren“ in der Fußzeile jeder Seite oder in Ihrem Fruugo-Konto unter „Bestellungen“ nutzen. Sobald Sie von Ihrem Widerrufsrecht Gebrauch gemacht haben, senden wir Ihnen eine Bestätigungs-E-Mail. Falls Ihre Bestellung bereits vom Händler versandt wurde, erhalten Sie von uns die notwendigen Rücksendeanweisungen, um eine schnelle Bearbeitung Ihrer Rückerstattung zu gewährleisten.

Vollständige Stornierungsbedingungen ansehen