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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

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.37 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.37 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Taping Reinhold Roth

Meki uvez

22.27 €

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

Meki uvez

11.13 €

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

Meki uvez

17.51 €

Joseph Holt Mansion Susan B. Dyer

Tvrdi uvez

31.29 €

Utopia and Civilisation in the Arab Nahda Peter Hill

Tvrdi uvez

133.48 €

From Tailors with Love Brooker Peter Brooker

Meki uvez

26.93 €

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.77 €

Clemencia Matta

Meki uvez

9.21 €

The Somnalist John C Goodman

Meki uvez

15.28 €

Trading Susan Warner

Meki uvez

8.09 €

Sharks of the World Sarah Fowler

Tvrdi uvez

47.39 €

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

Tvrdi uvez

29.06 €

Create Your Own Video Game Leah Marie

Meki uvez

9.71 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

Meki uvez

12.14 €

Heat 2. 1988-2000 Michael Mann

Meki uvez

21.56 €

How Do You Live? Genzaburo Yoshino

Meki uvez

10.42 €

AVATAR OFF PANDORAN COOKBK DK

Tvrdi uvez

22.88 €

Hory zpívají Phan Que Mai Nguyen

Tvrdi uvez

15.28 €

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

Meki uvez

6.78 €

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

Meki uvez

17.82 €

ERENBERG TAROT ERENBERG STEVE

Karte

18.22 €

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

Tvrdi uvez

16.50 €

Perfect Victims EL KURD MOHAMMED

Meki uvez

13.06 €

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.