Abstraction Refinement For Large Scale Model Checking

₺8.190,00
+ ₺1.503,99 Kargo

Abstraction Refinement For Large Scale Model Checking

Satıcı:
  • product image

₺8.190,00

Stokta var
+ ₺1.503,99 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

Ürün detayları

Ürün detayları

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.
  • Fruugo Kimliği: 550928015-1115606415
  • ISBN: 9780387341552
Teslimat

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.503,99 - Arasında teslimat Cum 20 Kasım 2026–Cum 04 Aralık 2026

Kargo çıkış noktası Birleşik Krallık.

İadeler

İadeler

Sipariş ettiğiniz ürünlerin size bütün ve belirttiğiniz özelliklere göre teslim edilmesi için elimizden gelenin en iyisini yapıyoruz. Fakat, bütün gelmeyen veya siparişiniz ettiğinizden farklı çıkan bir ürünün elinize ulaşması ya da siparişinizden başka bir sebepten ötürü memnun kalmamanız durumunda, siparişi veya siparişe dahil ürünlerden herhangi birini iade edebilir ve ürünler için tam para iadesi alabilirsiniz.

Tam iade politikasını görüntüle