Automated Theorem Proving In Software Engineering

35 990,00 Ft
+ 8 549,00 Ft szállítási költség

Automated Theorem Proving In Software Engineering

Értékesítő:
  • product image

35 990,00 Ft

Készleten
+ 8 549,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Vásárlóvédelem

Fizetési módok:

Termékadatok

Termékadatok

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.
  • Fruugo azonosító: 557238648-1125508316
  • ISBN: 9783540679899
Ígéret

Eladói garancia

2 év jogi garancia benne foglaltatik

Az EU-s fogyasztói jogai közé tartozik egy legalább 2 éves ingyenes jogi garancia

Megfelelőségi jogi garancia letöltése
Szállítás

Szállítás

Feladott 24 órán belül

  • STANDARD: 10 860,00 Ft - közötti szállítás K 17 november 2026–H 30 november 2026

Szállítás innen: Egyesült Királyság.

Visszaküldés

Visszaküldés és lemondás

Visszaküldés

Minden tőlünk telhetőt megteszünk annak biztosítására, hogy rendelését hiánytalanul és előírásainknak megfelelően szállítás ki önnek. Viszont ha egy hiányos rendelést kap, vagy eltér a megrendelttől, vagy bármilyen más okból nem elégedett a rendeléssel, akkor visszaküldheti a rendelést vagy a rendelésben lévő bármely terméket, és visszatérítik a termék árának teljes összegét.

Teljes visszaküldési irányelvek megtekintése.

Lemondások

Jogod van elállni a vásárlástól a rendelés kézhezvételétől számított 14 napon belül indoklás nélkül. A jogod egyszerű gyakorlásához használd a „Rendelés lemondása” linket minden oldal láblécében, vagy a Fruugo fiókodban a „Rendelések” alatt. Miután gyakoroltad az elállási jogodat, e-mailben visszaigazolást küldünk neked. Ha a rendelésedet a kiskereskedő már kiszállította, megadjuk a szükséges visszaküldési utasításokat, hogy a visszatérítést mihamarabb feldolgozzuk.

A teljes lemondási szabályzat megtekintése