Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Vérification symbolique de modèles

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

Duy Tung Nguyen

Língua

Francês

Livro Capa mole

Código Libristo: 07026829

Editoras Éditions universitaires européennes, novembro 2010

Cette thčse propose un nouveau type de systčmes de ré-écriture, appelé les systčmes de ré-écriture f... Descrição completa

Código Libristo: 07026829

198 b

81.86 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Utopia and Civilisation in the Arab Nahda Peter Hill

Livro de capa dura

133.37 €

Sharks of the World Sarah Fowler

Livro de capa dura

49.58 €

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

Capa mole

11.12 €

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

Capa mole

17.50 €

Joseph Holt Mansion Susan B. Dyer

Livro de capa dura

29.54 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

Capa mole

12.23 €

Taping Reinhold Roth

Capa mole

22.25 €

King Tingaling Painting ELIAS ZAPPLE

Capa mole

9.91 €

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

Livro de capa dura

29.74 €

Clemencia Matta

Capa mole

9.20 €

The Somnalist John C Goodman

Capa mole

14.56 €

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

Capa mole

6.77 €

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

Livro de capa dura

28.02 €

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

Capa mole

7.28 €

The Shroud Eaters Alyx Jae Shaw

Capa mole

22.25 €

Perfect Victims Mohammed El-Kurd

Capa mole

13.04 €

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

Livro de capa dura

17.60 €

ERENBERG TAROT ERENBERG STEVE

Cartões

18.21 €

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

Capa mole

16.79 €

EMINENCE IN SHADOW V08 V08

Capa mole

11.73 €

Hory zpívají Phan Que Mai Nguyen

Livro de capa dura

15.27 €

AVATAR OFF PANDORAN COOKBK DK

Livro de capa dura

21.55 €

How Do You Live? Genzaburo Yoshino

Capa mole

11.63 €

Focus Donna V

Capa mole

15.78 €

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.