Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

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

Taal

Frans

Boek Gebonden (paperback)

Libristo-code: 07026829

Uitgeverij É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... Volledige beschrijving

Libristo-code: 07026829

187 b

77.37 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Taping Reinhold Roth

Gebonden (paperback)

22.27 €

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

Gebonden (paperback)

11.13 €

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

Gebonden (paperback)

17.51 €

Joseph Holt Mansion Susan B. Dyer

Gebonden (harde band)

31.29 €

Utopia and Civilisation in the Arab Nahda Peter Hill

Gebonden (harde band)

133.48 €

From Tailors with Love Brooker Peter Brooker

Gebonden (paperback)

26.93 €

King Tingaling Painting ELIAS ZAPPLE

Gebonden (paperback)

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

Gebonden (harde band)

29.77 €

Clemencia Matta

Gebonden (paperback)

9.21 €

The Somnalist John C Goodman

Gebonden (paperback)

15.28 €

Trading Susan Warner

Gebonden (paperback)

8.09 €

Sharks of the World Sarah Fowler

Gebonden (harde band)

47.39 €

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

Gebonden (harde band)

29.06 €

Create Your Own Video Game Leah Marie

Gebonden (paperback)

9.71 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

Gebonden (paperback)

12.14 €

Heat 2. 1988-2000 Michael Mann

Gebonden (paperback)

22.68 €

How Do You Live? Genzaburo Yoshino

Gebonden (paperback)

10.42 €

AVATAR OFF PANDORAN COOKBK DK

Gebonden (harde band)

22.88 €

Hory zpívají Phan Que Mai Nguyen

Gebonden (harde band)

15.28 €

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

Gebonden (paperback)

6.78 €

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

Gebonden (paperback)

18.73 €

ERENBERG TAROT ERENBERG STEVE

Speelkaarten

18.22 €

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

Gebonden (harde band)

18.73 €

Perfect Victims EL KURD MOHAMMED

Gebonden (paperback)

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Vérification symbolique de modèles

Auteur Duy Tung Nguyen

Taal

Frans

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2011

Aantal pagina's 200

EAN 9786131579783

Libristo-code 07026829

Uitgeverij Éditions universitaires européennes

Gewicht 314

Afmetingen 150 x 220 x 12

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger