Automated Theorem Proving In Software Engineering

84,00 €
+ 21,99 € Versand

Automated Theorem Proving In Software Engineering

Verkauft von:
  • product image

84,00 €

Auf Lager
+ 21,99 € Versand

14 Tage Rückgaberecht

Käuferschutz

Oder wählen Sie ein Paket

Zahlungsmethoden:

Produktdetails

Produktdetails

Automated Theorem Proving In Software Engineering

Growing Demands For The Quality, Safety, And Security Of Software Can Only Be Satisfied By The Rigorous Application Of Formal Methods During Software Design. This Book Methodically Investigates The Potential Of First-order Logic Automated Theorem Provers For Applications In Software Engineering. Illustrated By Complete Case Studies On Protocol Verification, Verification Of Security Protocols, And Logic-based Software Reuse, This Book Provides Techniques For Assessing The Provers Capabilities And For Selecting And Developing An Appropriate Interface Architecture.
  • Marke: Springer Nature B.V
  • Kategorie: Computer und Internet
  • Format: Hardcover
  • Autor: Springer Nature B.V
  • Verlag / Label: Springer Nature B.V
  • Sprache: English
  • Erscheinungsdatum: 2001-06-20
  • Seitenzahl: 250
  • Fruugo-ID: 557238648-1125508316
  • ISBN: 9783540679899
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 24 Stunden

  • STANDARD: 27,14 € - Lieferung zwischen Di. 10 November 2026–Di. 08 Dezember 2026

Versand aus 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äß Ihren Bestellangaben 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ückgabebedingungen 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