Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Vérification symbolique de modèles

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

Duy Tung Nguyen

Jezik

Francuski

Knjiga Meki uvez

Libristo kod: 07026829

Nakladnici Éditions universitaires européennes, studeni 2010

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

Libristo kod: 07026829

187 b

77.42 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Utopia and Civilisation in the Arab Nahda Peter Hill

Tvrdi uvez

133.56 €

Sharks of the World Sarah Fowler

Tvrdi uvez

49.65 €

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

Meki uvez

11.14 €

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

Meki uvez

17.52 €

Joseph Holt Mansion Susan B. Dyer

Tvrdi uvez

31.31 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

Meki uvez

11.44 €

Taping Reinhold Roth

Meki uvez

22.29 €

King Tingaling Painting ELIAS ZAPPLE

Meki uvez

9.92 €

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

Tvrdi uvez

29.79 €

Clemencia Matta

Meki uvez

9.21 €

The Somnalist John C Goodman

Meki uvez

15.29 €

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

Meki uvez

6.78 €

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

Tvrdi uvez

32.22 €

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

Meki uvez

7.29 €

The Shroud Eaters Alyx Jae Shaw

Meki uvez

22.29 €

Perfect Victims Mohammed El-Kurd

Meki uvez

13.06 €

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

Tvrdi uvez

16.51 €

ERENBERG TAROT ERENBERG STEVE

Karte

18.23 €

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

Meki uvez

16.81 €

EMINENCE IN SHADOW V08 V08

Meki uvez

11.04 €

Hory zpívají Phan Que Mai Nguyen

Tvrdi uvez

15.29 €

AVATAR OFF PANDORAN COOKBK DK

Tvrdi uvez

22.89 €

How Do You Live? Genzaburo Yoshino

Meki uvez

10.83 €

Heat 2. 1988-2000 Michael Mann

Meki uvez

21.48 €

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.