Abstraction Refinement For Large Scale Model Checking

699,00 zł
+ 98,99 zł wysyłka

Abstraction Refinement For Large Scale Model Checking

Sprzedawca:
  • product image

699,00 zł

W magazynie
+ 98,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

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.
  • Marka: Springer Nature B.V
  • Kategoria: Komputery i Internet
  • Data wydania: 2006-07-20
  • Format: Hardcover
  • Autor: Chao Wang
  • Język: English
  • Wydawca / Wytwórnia płytowa: Springer Nature B.V
  • Ilość stron: 196
  • Identyfikator Fruugo: 550928015-1115606415
  • ISBN: 9780387341552
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: 122,20 zł - Dostawa między pt. 13 listopada 2026–pt. 20 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