Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Kurier DPD 4.99 € Kurier Hermes 5.49 € Kurier DHL 4.49 € Punkt Hermes 4.99 € Punkt DPD 3.49 € Kurier GLS 5.49 €

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Vérification symbolique de modèles

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

Duy Tung Nguyen

Język

Francuski

Książka Miękka

Kod Libristo: 07026829

Wydawnictwo Éditions universitaires européennes, listopad 2010

Cette thčse propose un nouveau type de systčmes de ré-écriture, appelé les systčmes de ré-écriture f... Cały opis

Kod Libristo: 07026829

198 b

80.89 € včetně DPH

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Create Your Own Video Game Leah Marie

Miękka

9.79 €

From Tailors with Love Brooker Peter Brooker

Miękka

25.89 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

Miękka

12.99 €

Epke Zoekt naar Loch Ness Guelen Robin Guelen

Miękka

16.89 €

Dorka Magorka s páskou cez oko Abby Hanlonová

Miękka

9.39 €

How Do You Live? Genzaburo Yoshino

Miękka

13.39 €

Starbreaker Amanda Bouchet

Miękka

11.39 €

Sharks of the World Sarah Fowler

Twarda

50.39 €

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

Miękka

11.29 €

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

Miękka

17.79 €

The Royal Ranger: Duel at Araluen John Flanagan

Miękka

9.29 €

Joseph Holt Mansion Susan B. Dyer

Twarda

30.90 €

Utopia and Civilisation in the Arab Nahda Peter Hill

Twarda

135.49 €

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

Twarda

17.79 €

10-minute Dishes Valerie Ferguson

Twarda

4.79 €

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

Twarda

26.99 €

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

Miękka

7.39 €

ANIMALES DIFICILES MONTERO ROSA

Miękka

15.19 €

Félix Vallotton Harald Fiebig

Twarda

32.00 €

The Shroud Eaters Alyx Jae Shaw

Miękka

22.49 €

Perfect Victims Mohammed El-Kurd

Miękka

14.09 €

Puzzle 1000 el. Zabawa nad morzem

Puzzle

8.69 €

Manicheizm średniowieczny Steven Runciman

Miękka

7.09 €

Tinder-taksi - eroottinen novelli Lind

MP3

4.19 €

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.