Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Méthodes formelles pour le parallélisme

Taal FransFrans
Boek Gebonden (paperback)
Boek Méthodes formelles pour le parallélisme Djalila Boughareb
Libristo-code: 25088418
Uitgeverij É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... Volledige beschrijving
? points 86 b
35.65 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Prophecy Thomas McCarthy / Boek Gebonden (paperback)
common.buy 19.29 €
Classroom Diversity Management: A Search for Effective Instructional Approaches Dr Patricia Ifeoma Ugwu / Boek Gebonden (paperback)
common.buy 14.84 €
Searching Kamilah Glover / Boek Gebonden (paperback)
common.buy 12.11 €
COSES DE BRUIXA MARIASOLE RUSA / Boek Gebonden (harde band)
common.buy 18.88 €
One True Manna Sd Holligan / Boek Gebonden (paperback)
common.buy 22.62 €
S? kan mänskligheten förinta sig själv / Boek Gebonden (harde band)
common.buy 15.35 €
A Drawn Apocalypse Volume 3: Dark Days Taylor Paulson / Boek Gebonden (paperback)
common.buy 7.67 €
Zentralblatt für das gesamte Forstwesen Friedrich / Boek Gebonden (paperback)
common.buy 27.98 €
Routledge Handbook to Auschwitz-Birkenau Sarah M. Cushman / Boek Gebonden (harde band)
common.buy 338.35 €
Sara-Li 4 Donde Estas Maylin Julio Santos / Boek Gebonden (paperback)
common.buy 15.35 €
All We Left Unspoken T. Thomas / Boek Gebonden (paperback)
common.buy 13.73 €
Pátá dohoda Ruiz Don Miguel Angel / Boek Gebonden (harde band)
common.buy 10.19 €
Kleines Insellexikon: Shetland-Inseln Gerd Elmar König / Boek Gebonden (paperback)
common.buy 8.98 €
Reflections On The Justice Of Roosting Chickens Ward Churchill / Boek Gebonden (paperback)
common.buy 12.92 €
Duden 24+: Kennst du das? Das große Bildwörterbuch / Boek Leporello (harmonicaboek)
common.buy 10.50 €
Interventi psicologici con pazienti alcolisti Rizzato Erika / Boek Gebonden (paperback)
common.buy 57.78 €
Calorie Counter / Boek Gebonden (paperback)
common.buy 8.17 €
Collins Complete Irish Wildlife Paul Sterry / Boek Gebonden (paperback)
common.buy 22.62 €
Work-Life Balance For Dummies Jeni Mumford / Boek Gebonden (paperback)
common.buy 17.27 €
Dead Men Risen: An Epic Story of War and Heroism in Afghanistan Toby Harnden / Boek Gebonden (harde band)
common.buy 25.25 €
The Right to be Forgotten on the Internet: Google v. Spain Artemi Rallo / Boek Gebonden (paperback)
common.buy 13.02 €
Nożyczki biurowe 21 cm Boek binding.
common.buy 2.92 €
Lead, Kindly Light: Gandhi and the Way to Peace Vincent Sheean / Boek Gebonden (paperback)
common.buy 38.18 €
Viaje Al Centro de la Tierra Julio Verne / Boek Gebonden (paperback)
common.buy 8.38 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Méthodes formelles pour le parallélisme
Auteur Djalila Boughareb
Taal Frans
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2019
Aantal pagina's 84
EAN 9786139520916
ISBN 6139520916
Libristo-code 25088418
Uitgeverij Éditions universitaires européennes
Gewicht 143
Afmetingen 150 x 220 x 5

Categorieën

Biografie, literatuur en literatuurstudies > Biografie en non-fictieproza > Literaire essays
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

Dit vind je misschien ook interessant

Menus de printemps pour les coliques nephretiques calciques Cédric Menard / Boek Gebonden (paperback)
common.buy 13.53 €
L'amour au XXIe siècle Barea / Boek Gebonden (paperback)
common.buy 17.17 €
L'Education Progressive, Ou Etude Du Cours de la Vie. Etude de la Premiere Enfance Necker De Saussure-A-A / Boek Gebonden (paperback)
common.buy 30.20 €
REISA COQUARD / Audio Audio cd
common.buy 15.55 €
"The Land of Atlas": An Archeo's Adventure Branton K Holmberg / Boek Gebonden (paperback)
common.buy 6.76 €
Wahre Liebe... bringt Glück Anyta Sunday / Boek Gebonden (paperback)
common.buy 8.58 €
Wattwanderungen als lokales touristisches Angebot für die Hotellerie auf Föhr. Risiken, Potenziale und Zielgruppen Anonym / Boek Gebonden (paperback)
common.buy 16.16 €
Mapping the Galaxy and Nearby Galaxies Keiichi Wada / Boek Gebonden (paperback)
common.buy 205.49 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?