Free delivery for orders over 69.99 euro.

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 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Vérification symbolique de modèles

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

187 b

77.29 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Taping Reinhold Roth

Paperback

22.25 €

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

Paperback

11.12 €

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

Paperback

17.49 €

Joseph Holt Mansion Susan B. Dyer

Hardback

31.25 €

Utopia and Civilisation in the Arab Nahda Peter Hill

Hardback

133.34 €

From Tailors with Love Brooker Peter Brooker

Paperback

26.90 €

King Tingaling Painting ELIAS ZAPPLE

Paperback

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

Hardback

29.74 €

Clemencia Matta

Paperback

9.20 €

The Somnalist John C Goodman

Paperback

15.27 €

Trading Susan Warner

Paperback

8.08 €

Sharks of the World Sarah Fowler

Hardback

47.34 €

History's Spoiled Children: The Story of Modern Greece Kostas Kostis

Hardback

29.03 €

Create Your Own Video Game Leah Marie

Paperback

9.70 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

Paperback

12.13 €

Heat 2. 1988-2000 Michael Mann

Paperback

22.65 €

How Do You Live? Genzaburo Yoshino

Paperback

10.41 €

AVATAR OFF PANDORAN COOKBK DK

Hardback

22.86 €

Hory zpívají Phan Que Mai Nguyen

Hardback

15.27 €

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

Paperback

6.77 €

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

Paperback

18.71 €

ERENBERG TAROT ERENBERG STEVE

Cards

18.20 €

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

Hardback

17.59 €

Perfect Victims EL KURD MOHAMMED

Paperback

13.04 €

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.