Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Vérification symbolique de modèles

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

Duy Tung Nguyen

Jezik

Francoščina

Knjiga Mehka

Koda Libristo: 07026829

Založba É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... Celoten opis

Koda Libristo: 07026829

176 b

72.82 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Utopia and Civilisation in the Arab Nahda Peter Hill

Trda

127.25 €

Sharks of the World Sarah Fowler

Trda

44.40 €

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

Mehka

10.61 €

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

Mehka

16.68 €

Joseph Holt Mansion Susan B. Dyer

Trda

29.53 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

Mehka

10.71 €

Taping Reinhold Roth

Mehka

20.93 €

King Tingaling Painting ELIAS ZAPPLE

Mehka

9.30 €

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

Trda

28.31 €

Clemencia Matta

Mehka

8.79 €

The Somnalist John C Goodman

Mehka

14.56 €

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

Mehka

6.36 €

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

Trda

27.30 €

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

Mehka

7.27 €

The Shroud Eaters Alyx Jae Shaw

Mehka

21.13 €

Perfect Victims Mohammed El-Kurd

Mehka

12.13 €

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

Trda

15.37 €

ERENBERG TAROT ERENBERG STEVE

Karte

16.98 €

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

Mehka

16.88 €

EMINENCE IN SHADOW V08 V08

Mehka

12.63 €

Hory zpívají Phan Que Mai Nguyen

Trda

14.25 €

AVATAR OFF PANDORAN COOKBK DK

Trda

21.54 €

How Do You Live? Genzaburo Yoshino

Mehka

11.02 €

Heat 2. 1988-2000 Michael Mann

Mehka

20.42 €

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.