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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Vérification symbolique de modèles

Name: Vérification symbolique de modèles
Brand: Éditions universitaires européennes
SKU: 07026829
Price: 81.97 EUR
Availability: InStock
Author: Duy Tung Nguyen
ISBN: 9786131579783

Duy Tung Nguyen

Език

Френски език

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

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

Издателство Éditions universitaires européennes, ноември 2010

Cette thčse propose un nouveau type de systčmes de ré-écriture, appelé les systčmes de ré-écriture f... Цялото описание

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

198 b

81.97 €

160.32 лв

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

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

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

Taping Reinhold Roth

С меки корици

23.61 € 46.18 лв

Fábulas de Esopo: Coleç?o Mam?e Tranquila (Livre de Conteúdos Apelativos ou Inadequados) Leonardo Reis

С меки корици

11.18 € 21.87 лв

Marriage Success: Learn How to Avoid Communication Mistakes, Improve Love and Intimacy with Your Spouse, Prevent and Overcome Conflicts, Barbara Foster

С меки корици

17.55 € 34.33 лв

Joseph Holt Mansion Susan B. Dyer

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

33.03 € 64.61 лв

Utopia and Civilisation in the Arab Nahda Peter Hill

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

133.55 € 261.20 лв

From Tailors with Love Brooker Peter Brooker

С меки корици

26.97 € 52.76 лв

King Tingaling Painting ELIAS ZAPPLE

С меки корици

9.94 € 19.44 лв

Astronomical Tables and Precepts, for Calculating the True Times of New and Full Moons, and ... Projecting Eclipses, from the Creation of the World to JAMES FERGUSON

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

29.77 € 58.23 лв

Clemencia Matta

С меки корици

9.21 € 18.02 лв

The Somnalist John C Goodman

С меки корици

15.94 € 31.19 лв

Trading Susan Warner

С меки корици

8.12 € 15.89 лв

Sharks of the World Sarah Fowler

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

47.43 € 92.77 лв

History's Spoiled Children: The Story of Modern Greece Kostas Kostis

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

29.05 € 56.81 лв

Create Your Own Video Game Leah Marie

С меки корици

9.68 € 18.93 лв

Eerie Tales from the School of Screams ANNABLE GRAHAM

С меки корици

12.11 € 23.69 лв

Heat 2. 1988-2000 Michael Mann

С меки корици

23.82 € 46.58 лв

How Do You Live? Genzaburo Yoshino

С меки корици

11.23 € 21.97 лв

AVATAR OFF PANDORAN COOKBK DK

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

24.13 € 47.19 лв

Hory zpívají Phan Que Mai Nguyen

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

16.26 € 31.79 лв

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

С меки корици

6.83 € 13.36 лв

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

С меки корици

19.62 € 38.38 лв

ERENBERG TAROT ERENBERG STEVE

Карти

18.22 € 35.64 лв

Qué Hacen Los Animales de Día... Y de Noche / Day to Night: A Flip Book Bright

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

18.79 € 36.76 лв

Perfect Victims EL KURD MOHAMMED

С меки корици

13.93 € 27.24 лв

Cette thčse propose un nouveau type de systčmes de ré-écriture, appelé les systčmes de ré-écriture fonctionnels. Nous montrons que notre modčle a la puissance d'expression des systčmes de ré-écriture et qu'il est bien adapté ŕ l'étude de propriétés de sűreté et de propriétés de logique temporelle de modčles. Nous avons mis en évidence une sous classe de systčmes fonctionnels, les élémentaires et les élémentaires ŕ droite, préservant la puissance d'expression des systčmes fonctionnels et des techniques d'accélération des calculs aboutissant ŕ un outil de vérification symbolique efficace. Dans la partie expérimentale, nous avons comparé notre outil, d'une part avec des outils de ré-écriture tels que Timbuk, Maude et TOM, d'autre part avec des outils de vérification tels que SPIN, NuSMV, SMART, HSDD. Nos résultats démontrent l'efficacité des systčmes fonctionnels élémentaires pour la vérification de modčles.