Automated Theorem Proving In Software Engineering

359,00 zł
+ 43,99 zł wysyłka

Automated Theorem Proving In Software Engineering

Sprzedawca:

359,00 zł

W magazynie
+ 43,99 zł wysyłka

Polityka zwrotów w ciągu 14 dni

Ochrona kupującego

Metody płatności:


Szczegóły produktu

Szczegóły produktu

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.
  • Marka: Springer Nature B.V
  • Kategoria: Komputery i Internet
  • Data wydania: 2001-06-20
  • Format: Hardcover
  • Autor: Springer Nature B.V
  • Język: English
  • Wydawca / Wytwórnia płytowa: Springer Nature B.V
  • Ilość stron: 250
  • Identyfikator Fruugo: 557238648-1125508316
  • ISBN: 9783540679899
Nasza obietnica

Gwarancja sprzedawcy

Wliczona 2-letnia gwarancja ustawowa

Twoje prawa konsumenckie w UE obejmują bezpłatną, co najmniej 2-letnią gwarancję ustawową

Pobierz dokument dotyczący gwarancji ustawowej
Dostawa

Dostawa

Wysyłka w ciągu 24 godzin

  • STANDARD: 67,01 zł - Dostawa między śr. 18 listopada 2026–śr. 25 listopada 2026

Wysyłka z Wielka Brytania

Zwroty

Zwroty i anulowanie

Zwroty

Dokładamy wszelkich starań, aby zamówione produkty były dostarczane w całości i zgodnie z Państwa wymaganiami. Jeśli jednak otrzymają Państwo niekompletne zamówienie, przedmioty inne niż zamówione lub istnieje inny powód, dla którego nie są Państwo zadowoleni z zamówienia, mogą Państwo zwrócić zamówienie lub dowolne produkty objęte zamówieniem i otrzymać pełny zwrot kosztów za te przedmioty.

Pokaż pełną politykę zwrotów

Anulacje

Masz prawo odstąpić od zakupu w ciągu 14 dni od otrzymania zamówienia bez podania przyczyny. Aby łatwo skorzystać z tego prawa, możesz skorzystać z linku „Anuluj moje zamówienie” w stopce każdej strony lub na swoim koncie Fruugo w sekcji „Zamówienia”. Po skorzystaniu z prawa do odstąpienia od umowy wyślemy Ci e-mail z potwierdzeniem. Jeśli Twoje zamówienie zostało już wysłane przez sprzedawcę, przekażemy Ci niezbędne instrukcje dotyczące zwrotu, aby zapewnić szybkie przetworzenie zwrotu.

Zobacz pełną politykę anulowania