Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
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 €
phone Kontakt phoneWie einkaufen

Méthodes formelles pour le parallélisme

Sprache FranzösischFranzösisch
Buch Broschur
Buch Méthodes formelles pour le parallélisme Djalila Boughareb
Libristo-Code: 25088418
Verlag Éditions universitaires européennes, Oktober 2019
Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de dév... Vollständige Beschreibung
? points 104 b
42.49 € inkl. MwSt.
Beim Verlag auf Bestellung Wir versenden in 17-27 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Classroom Diversity Management: A Search for Effective Instructional Approaches Dr Patricia Ifeoma Ugwu / Buch Broschur
common.buy 15.39 €
Searching Kamilah Glover / Buch Broschur
common.buy 12.59 €
COSES DE BRUIXA MARIASOLE RUSA / Buch Hardcover
common.buy 19.49 €
One True Manna Sd Holligan / Buch Broschur
common.buy 23.49 €
S? kan mänskligheten förinta sig själv / Buch Hardcover
common.buy 16.09 €
A Drawn Apocalypse Volume 3: Dark Days Taylor Paulson / Buch Broschur
common.buy 7.99 €
Zentralblatt für das gesamte Forstwesen Friedrich / Buch Broschur
common.buy 27.69 €
Routledge Handbook to Auschwitz-Birkenau Sarah M. Cushman / Buch Hardcover
common.buy 349.69 €
Sara-Li 4 Donde Estas Maylin Julio Santos / Buch Broschur
common.buy 14.29 €
All We Left Unspoken T. Thomas / Buch Broschur
common.buy 14.19 €
Pátá dohoda Ruiz Don Miguel Angel / Buch Hardcover
common.buy 10.79 €
Kleines Insellexikon: Shetland-Inseln Gerd Elmar König / Buch Broschur
common.buy 10.59 €
Reflections On The Justice Of Roosting Chickens Ward Churchill / Buch Broschur
common.buy 13.49 €
Duden 24+: Kennst du das? Das große Bildwörterbuch / Buch Leporello
common.buy 12.00 €
Interventi psicologici con pazienti alcolisti Rizzato Erika / Buch Broschur
common.buy 68.49 €
Calorie Counter / Buch Broschur
common.buy 8.09 €
Collins Complete Irish Wildlife Paul Sterry / Buch Broschur
common.buy 22.39 €
Work-Life Balance For Dummies Jeni Mumford / Buch Broschur
common.buy 18.09 €
Dead Men Risen: An Epic Story of War and Heroism in Afghanistan Toby Harnden / Buch Hardcover
common.buy 26.59 €
The Right to be Forgotten on the Internet: Google v. Spain Artemi Rallo / Buch Broschur
common.buy 13.49 €
Nożyczki biurowe 21 cm Buch binding.
common.buy 3.09 €
Lead, Kindly Light: Gandhi and the Way to Peace Vincent Sheean / Buch Broschur
common.buy 39.69 €
Viaje Al Centro de la Tierra Julio Verne / Buch Broschur
common.buy 8.79 €
"The Land of Atlas": An Archeo's Adventure Branton K Holmberg / Buch Broschur
common.buy 6.99 €

Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de développement d'un système parallèle, et suite au fait qu'elles sont fondées sur une base théorique solide qui est les mathématiques, ces méthodes permettent des validations automatisées des propriétés du système développé. Ce livre tente d'apporter aux lecteurs les connaissances fondamentales sur le domaine des méthodes formelles pour la spécification, la modélisation et la vérification des systèmes parallèles. L'accent sera mis sur les méthodes sémantiques de parallélisme, les outils formels de modélisation, ainsi que sur les méthodes formelles de vérification.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Méthodes formelles pour le parallélisme
Autor Djalila Boughareb
Sprache Französisch
Einband Buch - Broschur
Datum der Veröffentlichung 2019
Anzahl der Seiten 84
EAN 9786139520916
ISBN 6139520916
Libristo-Code 25088418
Verlag Éditions universitaires européennes
Gewicht 143
Abmessungen 150 x 220 x 5

Kategorie

Biografien, Literatur, Literaturwissenschaft > Biografien und Sachliteratur > Literarische Essays
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

Das könnte Sie auch interessieren

Menus de printemps pour les coliques nephretiques calciques Cédric Menard / Buch Broschur
common.buy 23.69 €
L'amour au XXIe siècle Barea / Buch Broschur
common.buy 17.69 €
L'Education Progressive, Ou Etude Du Cours de la Vie. Etude de la Premiere Enfance Necker De Saussure-A-A / Buch Broschur
common.buy 31.29 €
REISA COQUARD / Audio Audio CD
common.buy 15.99 €
Wahre Liebe... bringt Glück Anyta Sunday / Buch Broschur
common.buy 8.89 €
Wattwanderungen als lokales touristisches Angebot für die Hotellerie auf Föhr. Risiken, Potenziale und Zielgruppen Anonym / Buch Broschur
common.buy 17.95 €
Mapping the Galaxy and Nearby Galaxies Keiichi Wada / Buch Broschur
common.buy 234.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?