Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Satisfiability & Verification

Name: Satisfiability & Verification
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 06959931
Price: 84.71 EUR
Availability: InStock
Author: Marc Herbstritt
ISBN: 9783838101026

From Core Algorithms to Novel Application Domains

Marc Herbstritt

Език

Немски език

Книга С меки корици

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

Издателство Sudwestdeutscher Verlag Fur Hochschulschriften AG, февруари 2009

The verification of systems to guarantee their§correct behavior is discussed in this book. The§mainl... Цялото описание

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

205 b

84.71 €

165.69 лв

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

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

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

Toxicomanías en el embarazo : valoración, cuidados y prevención ICB

С меки корици

24.36 € 47.64 лв

Taylors Shrubs Taylor

С меки корици

22.13 € 43.29 лв

Nevanlinna Theory in Several Complex Variables and Diophantine Approximation Junjiro Noguchi

С меки корици

121.28 € 237.21 лв

Purifying Empire Deana Heath

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

133.38 € 260.88 лв

China's Ethical Revolution and Regaining Legitimacy Shaoying Zhang

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

145.38 € 284.35 лв

Revelations for a New Millennium Andrew Elias Ramer

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

35.63 € 69.69 лв

Theatre & Stage Photography William Kenyon

С меки корици

60.97 € 119.26 лв

Life and Letters of John Greenleaf Whittier Samuel T. (Samuel Thomas) Pickard

С меки корици

29.32 € 57.35 лв

The Best Ever Guide to Demotivation for British Citizens: How To Dismay, Dishearten and Disappoint Your Friends, Family and Staff Mark Geoffrey Young

С меки корици

14.84 € 29.02 лв

Súbor 24 kariet - dopravné prostriedky Petr Kupka

Карти

4.08 € 7.98 лв

Introducción a la Teología Sistemática: Enfoque Bíblico Denis Lumbi

С меки корици

10.34 € 20.22 лв

Interwoven Lives: Indigenous Mothers of Salish Coast Communities Candace Wellman

С меки корици

21.61 € 42.27 лв

Use Of Hemant Kanade Style 1 Average In Technical Analysis Hemant Kanade

С меки корици

88.44 € 172.97 лв

Venir au monde Margaret Mazzantini

С меки корици

29.32 € 57.35 лв

Atlas of Osteopathic Techniques Nicholas

С меки корици

179.42 € 350.91 лв

Kapesní atlas hub Laux Hans E.

С меки корици

9.41 € 18.40 лв

Programming Languages: Concepts and Implementation Saverio Perugini

С меки корици

132.09 € 258.35 лв

Needs-Based Market Segmentation Strategies James R. Taylor

С меки корици

12.10 € 23.66 лв

Old Testament Simon Peterson

MP3

7.39 € 14.46 лв

If We Survive This MARIE RACQUEL

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

15.77 € 30.84 лв

Future of Human Experience J Zohara Meyerhoff Hieronimus

С меки корици

19.29 € 37.72 лв

The Urban Transport Policies in Jakarta, Indonesia Jachrizal Sumabrata

С меки корици

64.13 € 125.43 лв

Diplomatarium of the Crusader Kingdom of Valencia Robert Ignatius Burns

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

124.59 € 243.68 лв

Last Bedtime Story Carol Gray

С меки корици

20.22 € 39.54 лв

The verification of systems to guarantee their§correct behavior is discussed in this book. The§mainly applied algorithmic method is the model§checking technique combined with algorithms§for solving the satisfiability problem (short: SAT).§§SAT-based verification of discrete systems has become§one of the most effective technique within the last§10 years, such that industrial as well as academic§applications heavily rely on it.§§The book covers the whole range of a SAT-based tool§application. We propose extensions and concepts that§concentrate on the core of a SAT-solver. However,§these proposals are then transferred to novel§verification models. Moreover, we describe §approaches that incorporate the structure of§the problem to exploit knowledge gained during the§verification process on the level of the SAT-solver.§§The main focus of the book is on the verification of§incomplete system designs, which occur for example in§the early phase of a design. We describe various§SAT-based modeling concepts that vary regarding their§expressiveness and computational resources. The§proposed methods are evaluated experimentally to§guarantee their applicability in practice.