Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Vérification symbolique de modèles

Name: Vérification symbolique de modèles
Brand: Éditions universitaires européennes
SKU: 07026829
Price: 29581 HUF
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

29 581 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Create Your Own Video Game Leah Marie

Paperback

3 871 Ft

From Tailors with Love Brooker Peter Brooker

Paperback

9 459 Ft

Eerie Tales from the School of Screams ANNABLE GRAHAM

Paperback

5 227 Ft

Epke Zoekt naar Loch Ness Guelen Robin Guelen

Paperback

6 663 Ft

Dorka Magorka s páskou cez oko Abby Hanlonová

Paperback

3 242 Ft

How Do You Live? Genzaburo Yoshino

Paperback

4 900 Ft

Starbreaker Amanda Bouchet

Paperback

4 450 Ft

Sharks of the World Sarah Fowler

Hardback

20 245 Ft

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

Paperback

4 470 Ft

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

Paperback

7 039 Ft

The Royal Ranger: Duel at Araluen John Flanagan

Paperback

3 737 Ft

Joseph Holt Mansion Susan B. Dyer

Hardback

12 312 Ft

Utopia and Civilisation in the Arab Nahda Peter Hill

Hardback

53 207 Ft

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

Hardback

6 767 Ft

10-minute Dishes Valerie Ferguson

Hardback

1 727 Ft

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

Hardback

10 578 Ft

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

Paperback

2 886 Ft

ANIMALES DIFICILES MONTERO ROSA

Paperback

6 128 Ft

Félix Vallotton Harald Fiebig

Hardback

11 325 Ft

The Shroud Eaters Alyx Jae Shaw

Paperback

8 875 Ft

Perfect Victims Mohammed El-Kurd

Paperback

5 168 Ft

Puzzle 1000 el. Zabawa nad morzem

Jigsaw puzzle

3 168 Ft

Manicheizm średniowieczny Steven Runciman

Paperback

2 747 Ft

Tinder-taksi - eroottinen novelli Lind

MP3

1 530 Ft

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.