Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Vérification symbolique de modèles

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

Duy Tung Nguyen

Langue

Français

Livre Livre de poche

Code Libristo: 07026829

Éditeurs Éditions universitaires européennes, novembre 2010

Cette thčse propose un nouveau type de systčmes de ré-écriture, appelé les systčmes de ré-écriture f... Description détaillée

Code Libristo: 07026829

187 b

76.39 € TVA incluse

Stockage externe Expédition sous 5-8 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Utopia and Civilisation in the Arab Nahda Peter Hill

Livre relié

113.49 €

Sharks of the World Sarah Fowler

Livre relié

39.79 €

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

Livre de poche

11.59 €

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

Livre de poche

18.19 €

Joseph Holt Mansion Susan B. Dyer

Livre relié

32.59 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

Livre de poche

9.69 €

Taping Reinhold Roth

Livre de poche

24.80 €

King Tingaling Painting ELIAS ZAPPLE

Livre de poche

7.99 €

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

Livre relié

25.09 €

Clemencia Matta

Livre de poche

9.59 €

The Somnalist John C Goodman

Livre de poche

15.79 €

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

Livre de poche

5.39 €

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

Livre relié

21.79 €

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

Livre de poche

7.19 €

The Shroud Eaters Alyx Jae Shaw

Livre de poche

18.79 €

Perfect Victims Mohammed El-Kurd

Livre de poche

12.89 €

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

Livre relié

14.09 €

ERENBERG TAROT ERENBERG STEVE

Cartes

14.49 €

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

Livre de poche

16.59 €

EMINENCE IN SHADOW V08 V08

Livre de poche

9.39 €

Hory zpívají Phan Que Mai Nguyen

Livre relié

15.09 €

AVATAR OFF PANDORAN COOKBK DK

Livre relié

23.79 €

How Do You Live? Genzaburo Yoshino

Livre de poche

10.29 €

Focus Donna V

Livre de poche

17.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.