Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Vérification symbolique de modèles

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

Duy Tung Nguyen

Sprache

Französisch

Buch Broschur

Libristo-Code: 07026829

Verlag É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... Vollständige Beschreibung

Libristo-Code: 07026829

198 b

80.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Taping Reinhold Roth

Broschur

24.80 €

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

Broschur

11.59 €

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

Broschur

18.19 €

Joseph Holt Mansion Susan B. Dyer

Hardcover

32.59 €

Utopia and Civilisation in the Arab Nahda Peter Hill

Hardcover

137.89 €

From Tailors with Love Brooker Peter Brooker

Broschur

27.89 €

King Tingaling Painting ELIAS ZAPPLE

Broschur

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

Hardcover

30.79 €

Clemencia Matta

Broschur

9.59 €

The Somnalist John C Goodman

Broschur

15.79 €

Trading Susan Warner

Broschur

8.39 €

Sharks of the World Sarah Fowler

Hardcover

49.79 €

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

Hardcover

30.19 €

Create Your Own Video Game Leah Marie

Broschur

10.09 €

Eerie Tales from the School of Screams ANNABLE GRAHAM

Broschur

12.69 €

Heat 2. 1988-2000 Michael Mann

Broschur

23.49 €

How Do You Live? Genzaburo Yoshino

Broschur

11.09 €

AVATAR OFF PANDORAN COOKBK DK

Hardcover

23.79 €

Hory zpívají Phan Que Mai Nguyen

Hardcover

15.09 €

Mermaid Neon Hidden Pictures Puzzles HIGHLIGHTS

Broschur

7.19 €

ERASE UNA VEZ UN CORAZON ROTO CARAVAL 4 COL GARBER

Broschur

19.39 €

ERENBERG TAROT ERENBERG STEVE

Karten

19.19 €

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

Hardcover

18.49 €

Perfect Victims EL KURD MOHAMMED

Broschur

13.79 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Vérification symbolique de modèles

Autor Duy Tung Nguyen

Sprache

Französisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 200

EAN 9786131579783

Libristo-Code 07026829

Verlag Éditions universitaires européennes

Gewicht 314

Abmessungen 150 x 220 x 12

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert