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

159.69 лв

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

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

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

Taping Reinhold Roth

С меки корици

23.52 € 45.99 лв

Sharks of the World Sarah Fowler

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

49.46 € 96.74 лв

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

С меки корици

11.14 € 21.78 лв

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

С меки корици

17.48 € 34.19 лв

Joseph Holt Mansion Susan B. Dyer

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

33.42 € 65.36 лв

Utopia and Civilisation in the Arab Nahda Peter Hill

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

133.03 € 260.18 лв

Create Your Own Video Game Leah Marie

С меки корици

9.64 € 18.86 лв

Midsomer Murders: The Complete Series Thirteen

DVD

25.94 € 50.74 лв

King Tingaling Painting ELIAS ZAPPLE

С меки корици

9.90 € 19.36 лв

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.65 € 58.00 лв

Clemencia Matta

С меки корици

9.18 € 17.95 лв

The Somnalist John C Goodman

С меки корици

15.88 € 31.06 лв

Trading Susan Warner

С меки корици

8.09 € 15.83 лв

EMINENCE IN SHADOW V08 V08

С меки корици

12.43 € 24.30 лв

Polska. Ocalone fotografie 1839-1939. Od pierwszego zdjęcia do II wojny światowej Luba Ristujczina

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

31.87 € 62.34 лв

Arcydzieła Disneya i Pixara. Klasyka. Kolorowanka antystresowa Disney. Zagadkowe rysunki Béatrice Loth

С меки корици

8.56 € 16.74 лв

The Shroud Eaters Alyx Jae Shaw

С меки корици

22.18 € 43.37 лв

Perfect Victims Mohammed El-Kurd

С меки корици

13.87 € 27.13 лв

Puzzle 1000 el. Zabawa nad morzem

Пъзел

7.94 € 15.53 лв

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

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

18.72 € 36.61 лв

ERENBERG TAROT ERENBERG STEVE

Карти

19.80 € 38.73 лв

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

С меки корици

19.39 € 37.92 лв

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

С меки корици

6.80 € 13.31 лв

Hory zpívají Phan Que Mai Nguyen

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

16.19 € 31.67 лв

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.