Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

SAT-Based Scalable Formal Verification Solutions

Name: SAT-Based Scalable Formal Verification Solutions
Brand: Springer-Verlag New York Inc.
SKU: 01382329
Price: 159.05 EUR
Availability: InStock
Author: Malay Ganai
ISBN: 9780387691664

Malay Ganai

Aarti Gupta

Език

Английски език

Книга С твърди корици

Код Либристо: 01382329

Издателство Springer-Verlag New York Inc., май 2007

Functional verification has become an important aspect of the chip design process. Significant resou... Цялото описание

Код Либристо: 01382329

386 b

159.05 €

311.08 лв

Външен склад Изпращаме след 10-13 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Negociación y contratación internacional. Certificados de profesionalidad. Marketing y compraventa internacional Ferrán Barona Llorca

С меки корици

32.16 € 62.89 лв

Hakon Matthieu Biasotto

С меки корици

39.80 € 77.84 лв

Ene mene Tintenfass geh zur Schule, lerne was! Miluše Jankásková

С твърди корици

8.10 € 15.84 лв

Zvieratá okolo nás

С меки корици

4.13 € 8.07 лв

Mikropolitische Ansatze des Personalmanagements Philipp Kardinahl

С меки корици

18.06 € 35.33 лв

Mavka - Hüterin des Waldes Lesya Ukrainka

DVD

17.60 € 34.42 лв

Uplatňování pohledávek v insolvenčním řízení - Právo prakticky Milan Horák

С меки корици

19.35 € 37.85 лв

Mémoire pour C. Jocquet de la Chapelle contre J. Hardouin Mansart, comte de Sagonne et M. Dugny Doulcet

С меки корици

12.69 € 24.83 лв

Тета-исцеление: вы и Создатель. Углубите свою связь с энергией творения Вианна Стайбл

С меки корици

11.20 € 21.90 лв

Museu de Cultures del Món Bru i Turull

С меки корици

24.93 € 48.76 лв

44 Batidos Proteicos Caseros Para Fisicoculturistas: Incremente El Desarrollo Muscular Sin Pastillas, Suplementos de Creatina O Esteroides Anabolicos Correa (Nutricionista Deportivo Certific

С меки корици

19.25 € 37.65 лв

Feuerbach Ed Heyck

С меки корици

28.29 € 55.32 лв

Grand manuel de psychologie positive - Fondements, théories et champs d'intervention Charles Martin-Krumm Книга

С меки корици

79.76 € 155.99 лв

GUIDE SCIENCES TECHNOLOGIES INDUSTRIELLES NE Jean-Louis Fanchon

С твърди корици

42.48 € 83.09 лв

UNA TERAPIA MUY ESPECIAL CARLY PHILLIPS

С меки корици

10.17 € 19.88 лв

Obras completas : Los nombres de Dios ; Jerarquía celeste ; Jerarquía eclesiástica ; Teología mística ; Cartas varias Pseudo Dionisio Areopagita

С меки корици

30.40 € 59.46 лв

Le Nouveau Roman ou l'ere du soupcon Magali Vienne

С меки корици

14.35 € 28.06 лв

Notice Historique Sur Le Couvent Des Cordeliers de Romans CHEVALIER-U

С меки корици

13.68 € 26.75 лв

Código de Derecho Agrario (3/4) (Espa?a) (Edición 2019) La Biblioteca Juridica

С меки корици

33.55 € 65.62 лв

Schatzhaus oder Khazne al-Firaun in der antiken Stadt Petra (Puzzle) Jürgen Ritterbach

Игра

36.08 € 70.57 лв

Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors.§SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for Verification Paradigm. These techniques have been designed and implemented in a verification platform Verisol (formally called DiVer) and have been used successfully in industry. This book provides algorithmic details and engineering insights into devising scalable approaches for an effective realization. It also includes the authors practical experiences and recommendations in verifying the large industry designs using VeriSol.§The book is primarily written for researchers, scientists, and verification engineers who would like to gain an in-depth understanding of scalable SAT-based verification techniques. The book will also be of interest for CAD tool developers who would like to incorporate various SAT-based advanced techniques in their products.