Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Vérification symbolique de modèles

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

Duy Tung Nguyen

Language

French

Book Paperback

Libristo code: 07026829

Publishers Éditions universitaires européennes, November 2010

Cette thčse propose un nouveau type de systčmes de ré-écriture, appelé les systčmes de ré-écriture f... Full description

Libristo code: 07026829

198 b

81.40 €

159.20 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

From Tailors with Love Brooker Peter Brooker

Paperback

26.12 € 51.08 лв

Passionate About Baking Rajpal

Paperback

18.30 € 35.80 лв

Heat 2. 1988-2000 Michael Mann

Paperback

23.34 € 45.65 лв

Starbreaker Amanda Bouchet

Paperback

12.54 € 24.53 лв

Sharks of the World Sarah Fowler

Hardback

50.65 € 99.06 лв

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

Paperback

11.11 € 21.72 лв

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

Paperback

17.43 € 34.10 лв

The Royal Ranger: Duel at Araluen John Flanagan

Paperback

9.30 € 18.19 лв

Joseph Holt Mansion Susan B. Dyer

Hardback

32.82 € 64.18 лв

Utopia and Civilisation in the Arab Nahda Peter Hill

Hardback

132.67 € 259.48 лв

Taping Reinhold Roth

Paperback

23.44 € 45.85 лв

Yves Saint Laurent: The Complete Haute Couture Collections, 1962-2002 Andrew Bolton

Hardback

64.89 € 126.92 лв

Midsomer Murders: The Complete Series Thirteen

DVD

25.91 € 50.68 лв

King Tingaling Painting ELIAS ZAPPLE

Paperback

9.87 € 19.30 лв

Peter Rabbit Jigsaw Book Beatrix Potter

Board book

16.96 € 33.18 лв

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

Hardback

31.00 € 60.64 лв

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

Paperback

8.33 € 16.28 лв

ANIMALES DIFICILES MONTERO ROSA

Paperback

15.32 € 29.96 лв

Félix Vallotton Harald Fiebig

Hardback

30.13 € 58.93 лв

The Shroud Eaters Alyx Jae Shaw

Paperback

22.11 € 43.24 лв

Perfect Victims Mohammed El-Kurd

Paperback

14.24 € 27.85 лв

Puzzle 1000 el. Zabawa nad morzem

Jigsaw puzzle

8.69 € 16.99 лв

Tinder-taksi - eroottinen novelli Lind

MP3

4.21 € 8.24 лв

Svjetski poredak Henry Kissinger

Hardback

29.51 € 57.72 лв

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.