Scalable Techniques For Formal Verification

169,00 €
+ 14,99 € Doručenie

Scalable Techniques For Formal Verification

Predáva:

169,00 €

Na sklade
+ 14,99 € Doručenie

Politika vrátenia 14 dní

Ochrana kupujúceho

Spôsoby platby:


Podrobnosti o produkte

Podrobnosti o produkte

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.
  • Značka: Springer Nature B.V
  • Kategória: Počítače a internet
  • Počet strán: 260
  • Formátovať: Paperback
  • Jazyk: English
  • Dátum vydania: 2014-10-19
  • Autor: Sandip Ray
  • Vydavateľ / štítok: Springer Nature B.V
  • Fruugo ID: 557056941-1125325427
  • ISBN: 9781489984449
Sľub

Záruka predávajúceho

Vrátane 2-ročnej právnej záruky

Vaše spotrebiteľské práva v EÚ zahŕňajú bezplatnú minimálne 2-ročnú právnu záruku

Stiahnuť právnu záruku zhody
Doručenie

Doručenie

Odoslané do 24 hodín

  • STANDARD: 21,14 € - Doručenie medzi ut 17 novembra 2026–št 19 novembra 2026

Doručenie od Spojené kráľovstvo.

Vrátenie tovaru

Vrátenie a zrušenie objednávky

Vrátenie tovaru

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu.

Pozrite si všetky pravidlá vrátenia

Zrušenie objednávky

Máte právo odstúpiť od nákupu do 14 dní od doručenia objednávky bez udania dôvodu. Na jednoduché uplatnenie svojho práva môžete použiť odkaz „Zrušiť moju objednávku“ v päte každej stránky alebo vo svojom účte Fruugo v časti „Objednávky“. Po uplatnení svojho práva na odstúpenie od objednávky vám zašleme e-mail s potvrdením. Ak vašu objednávku už predajca odoslal, poskytneme vám potrebné pokyny na vrátenie, aby sme zabezpečili rýchle spracovanie vrátenia peňazí.

Zobraziť úplné podmienky zrušenia objednávky