Scalable Techniques For Formal Verification

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

Scalable Techniques For Formal Verification

Értékesítő:
  • product image

61 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

Scalable Techniques For Formal Verification

Preliminaries.- Overview Of Formal Verification.- To Acl2.- Sequential Program Verification.- Sequential Programs.- Operational Semantics And Assertional Reasoning.- Connecting Different Proof Styles.- Verification Of Reactive Systems.- Reactive Systems.- Verifying Concurrent Protocols Using Refinements.- Pipelined Machines.- Invariant Proving.- Invariant Proving.- Predicate Abstraction Via Rewriting.- Formal Integration Of Decision Procedures.- Integrating Deductive And Algorithmic Reasoning.- A Compositional Model Checking Procedure.- Connecting External Deduction Tools With Acl2.- Conclusion.- Summary And Conclusion.
  • Fruugo azonosító: 557056941-1125325427
  • ISBN: 9781489984449
Í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