Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

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

Lingua

Francese

Libro In brossura

Codice Libristo: 07026829

Casa editrice É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... Descrizione completa

Codice Libristo: 07026829

198 b

80.89 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Utopia and Civilisation in the Arab Nahda Peter Hill

Rigido

137.89 €

Sharks of the World Sarah Fowler

Rigido

52.09 €

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

In brossura

11.59 €

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

In brossura

18.19 €

Joseph Holt Mansion Susan B. Dyer

Rigido

32.59 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

In brossura

12.69 €

Taping Reinhold Roth

In brossura

23.29 €

King Tingaling Painting ELIAS ZAPPLE

In brossura

10.39 €

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

Rigido

30.79 €

Clemencia Matta

In brossura

9.59 €

The Somnalist John C Goodman

In brossura

15.79 €

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

In brossura

7.19 €

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

Rigido

31.59 €

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

In brossura

7.19 €

The Shroud Eaters Alyx Jae Shaw

In brossura

22.99 €

Perfect Victims Mohammed El-Kurd

In brossura

12.89 €

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

Rigido

17.39 €

ERENBERG TAROT ERENBERG STEVE

Carte

19.19 €

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

In brossura

16.59 €

EMINENCE IN SHADOW V08 V08

In brossura

11.59 €

Hory zpívají Phan Que Mai Nguyen

Rigido

15.09 €

AVATAR OFF PANDORAN COOKBK DK

Rigido

23.79 €

How Do You Live? Genzaburo Yoshino

In brossura

11.49 €

Focus Donna V

In brossura

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.