Abstraction Refinement For Large Scale Model Checking

189,00 €
+ 27,99 € Doručenie

Abstraction Refinement For Large Scale Model Checking

Predáva:
  • product image

189,00 €

Na sklade
+ 27,99 € Doručenie

Politika vrátenia 14 dní

Ochrana kupujúceho

Alebo vyberte balenie

Spôsoby platby:

Podrobnosti o produkte

Podrobnosti o produkte

Abstraction Refinement For Large Scale Model Checking

This Book Summarizes Recent Research On Abstraction Techniques For Model Checking Large Digital System. Considering The Size Of Todays Digital Systems And The Capacity Of State-of-the-art Verification Algorithms, Abstraction Is The Only Viable Solution For The Successful Application Of Model Checking Techniques To Industrial-scale Designs. The Suite Of Algorithms Presented Here Represents Significant Improvement Over Prior Art; Some Have Already Been Adopted By The Eda Companies In Their Commercialin-house Verification Tools.
  • Značka: Springer Nature B.V
  • Kategória: Počítače a internet
  • Počet strán: 196
  • Formátovať: Hardcover
  • Jazyk: English
  • Dátum vydania: 2006-07-20
  • Autor: Chao Wang
  • Vydavateľ / štítok: Springer Nature B.V
  • Fruugo ID: 550928015-1115606415
  • ISBN: 9780387341552
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: 34,14 € - Doručenie medzi št 12 novembra 2026–ut 17 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