Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Vérification symbolique de modèles

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

Duy Tung Nguyen

Idioma

Francés

Libro Tapa blanda

Código Libristo: 07026829

Editores Éditions universitaires européennes, noviembre 2010

Cette thčse propose un nouveau type de systčmes de ré-écriture, appelé les systčmes de ré-écriture f... Descripción completa

Código Libristo: 07026829

209 b

85.39 €

Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Taping Reinhold Roth

Tapa blanda

24.59 €

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

Tapa blanda

11.59 €

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

Tapa blanda

18.19 €

Joseph Holt Mansion Susan B. Dyer

Tapa dura

34.39 €

Utopia and Civilisation in the Arab Nahda Peter Hill

Tapa dura

137.89 €

From Tailors with Love Brooker Peter Brooker

Tapa blanda

27.89 €

King Tingaling Painting ELIAS ZAPPLE

Tapa blanda

10.39 €

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

Tapa dura

30.79 €

Clemencia Matta

Tapa blanda

9.59 €

The Somnalist John C Goodman

Tapa blanda

16.49 €

Trading Susan Warner

Tapa blanda

8.39 €

Sharks of the World Sarah Fowler

Tapa dura

49.79 €

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

Tapa dura

30.19 €

Create Your Own Video Game Leah Marie

Tapa blanda

10.09 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

Tapa blanda

12.69 €

Heat 2. 1988-2000 Michael Mann

Tapa blanda

23.99 €

How Do You Live? Genzaburo Yoshino

Tapa blanda

11.79 €

AVATAR OFF PANDORAN COOKBK DK

Tapa dura

25.09 €

Hory zpívají Phan Que Mai Nguyen

Tapa dura

16.39 €

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

Tapa blanda

7.19 €

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

Tapa blanda

17.99 €

ERENBERG TAROT ERENBERG STEVE

Tarjetas

19.19 €

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

Tapa dura

19.95 €

Perfect Victims EL KURD MOHAMMED

Tapa blanda

14.69 €

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.