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

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

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

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

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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Satisfiability & Verification

Name: Satisfiability & Verification
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 06959931
Price: 84.14 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.14 €

164.57 лв

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

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

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

Destroyed Madeline Dyer

С меки корици

19.77 € 38.67 лв

Atlas of Osteopathic Techniques Nicholas

С меки корици

180.67 € 353.36 лв

Eight Explicit BDSM Stories - Bondage, Dominance, Submission, MFM Alexandra Noir

С меки корици

14.48 € 28.32 лв

The Sharaya Ool Islam: A Treatise On Lawful And Forbidden Things (1839) Abool Kasim

С меки корици

48.70 € 95.24 лв

Venir au monde Margaret Mazzantini

С меки корици

27.94 € 54.65 лв

Programming Languages: Concepts and Implementation Saverio Perugini

С меки корици

132.59 € 259.31 лв

Interwoven Lives: Indigenous Mothers of Salish Coast Communities Candace Wellman

С меки корици

22.03 € 43.09 лв

Cannae: Hannibal's Greatest Victory Adrian Goldsworthy

С меки корици

15.35 € 30.03 лв

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

С меки корици

10.53 € 20.59 лв

Súbor 24 kariet - dopravné prostriedky Petr Kupka

Карти

4.36 € 8.53 лв

Continuum Acoustic Blasts and Flows Timothy S Margulies

С меки корици

33.49 € 65.50 лв

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

С меки корици

15.10 € 29.53 лв

Texas Land Survey Maps for Lavaca County Gregory a Boyd J D

С меки корици

27.94 € 54.65 лв

Bodymapping Acupuncture Technique: In the Spirit of Master Tung Cole Magbanua Macom

С меки корици

38.01 € 74.34 лв

Korkusuz Kaptanlar Rudyard Kipling

С меки корици

8.63 € 16.88 лв

İtaatkar Kadınlar Erika Sanders

С меки корици

15.87 € 31.04 лв

Future of Human Experience J Zohara Meyerhoff Hieronimus

С меки корици

19.01 € 37.18 лв

Wash It All Away 06 V06

С меки корици

12.38 € 24.20 лв

Radiodifus?o para a paz Williams Anshima

С меки корици

41.25 € 80.67 лв

Spellcaster: A Slowburn Enemies to Lovers Magical Dark Academia Spicy Romantasy (Weatherstone College, 1) EVE JAYMIN

С меки корици

12.58 € 24.61 лв

Svätá omša Jozef Haľko

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

18.18 € 35.56 лв

If We Survive This MARIE RACQUEL

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

16.07 € 31.44 лв

Orgueil et Préjugés (Edition bilingue: français - anglais) Jane Austen

С меки корици

20.96 € 41.00 лв

The Magical Moose of Masuria Artici Bilingual Books

С меки корици

9.09 € 17.77 лв

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.