Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Vérification symbolique de modèles

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

Duy Tung Nguyen

Jazyk

Francouzština

Kniha Brožovaná

Libristo kód: 07026829

Nakladatelství Éditions universitaires européennes, listopad 2010

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

Libristo kód: 07026829

176 b

1 762 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Taping Reinhold Roth

Brožovaná

507 Kč

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

Brožovaná

256 Kč

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

Brožovaná

403 Kč

Joseph Holt Mansion Susan B. Dyer

Pevná

715 Kč

Utopia and Civilisation in the Arab Nahda Peter Hill

Pevná

3 078 Kč

From Tailors with Love Brooker Peter Brooker

Brožovaná

620 Kč

King Tingaling Painting ELIAS ZAPPLE

Brožovaná

225 Kč

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

Pevná

685 Kč

Clemencia Matta

Brožovaná

212 Kč

The Somnalist John C Goodman

Brožovaná

353 Kč

Trading Susan Warner

Brožovaná

186 Kč

Sharks of the World Sarah Fowler

Pevná

1 175 Kč

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

Pevná

664 Kč

Create Your Own Video Game Leah Marie

Brožovaná

222 Kč

Eerie Tales from the School of Screams ANNABLE GRAHAM

Brožovaná

256 Kč

Heat 2. 1988-2000 Michael Mann

Brožovaná

549 Kč

How Do You Live? Genzaburo Yoshino

Brožovaná

235 Kč

AVATAR OFF PANDORAN COOKBK DK

Pevná

522 Kč

Hory zpívají Phan Que Mai Nguyen

Pevná

346 Kč

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

Brožovaná

154 Kč

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

Brožovaná

453 Kč

ERENBERG TAROT ERENBERG STEVE

Karty

412 Kč

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

Pevná

400 Kč

Perfect Victims EL KURD MOHAMMED

Brožovaná

293 Kč

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.