Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Méthodes formelles pour le parallélisme

Name: Méthodes formelles pour le parallélisme
Brand: Éditions universitaires européennes
SKU: 25088418
Price: 37.75 EUR
Availability: InStock
Author: Djalila Boughareb
ISBN: 9786139520916

Djalila Boughareb

Език

Френски език

Книга С меки корици

Код Либристо: 25088418

Издателство Éditions universitaires européennes, октомври 2019

Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de dév... Цялото описание

Код Либристо: 25088418

91 b

37.75 €

73.84 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Prophecy Thomas McCarthy

С меки корици

20.17 € 39.44 лв

Classroom Diversity Management: A Search for Effective Instructional Approaches Dr Patricia Ifeoma Ugwu

С меки корици

14.89 € 29.12 лв

Searching Kamilah Glover

С меки корици

12.15 € 23.76 лв

COSES DE BRUIXA MARIASOLE RUSA

С твърди корици

19.70 € 38.53 лв

One True Manna Sd Holligan

С меки корици

22.70 € 44.40 лв

S? kan mänskligheten förinta sig själv

С твърди корици

16.34 € 31.96 лв

A Drawn Apocalypse Volume 3: Dark Days Taylor Paulson

С меки корици

7.65 € 14.96 лв

Zentralblatt für das gesamte Forstwesen Friedrich

С меки корици

28.03 € 54.82 лв

Routledge Handbook to Auschwitz-Birkenau Sarah M. Cushman

С твърди корици

338.77 € 662.58 лв

Sara-Li 4 Donde Estas Maylin Julio Santos

С меки корици

15.30 € 29.93 лв

All We Left Unspoken T. Thomas

С меки корици

13.70 € 26.80 лв

Pátá dohoda Ruiz Don Miguel Angel

С твърди корици

10.75 € 21.03 лв

Kleines Insellexikon: Shetland-Inseln Gerd Elmar König

С меки корици

9.46 € 18.50 лв

Reflections On The Justice Of Roosting Chickens Ward Churchill

С меки корици

13.70 € 26.80 лв

Duden 24+: Kennst du das? Das große Bildwörterbuch

Дипляна

11.22 € 21.94 лв

Interventi psicologici con pazienti alcolisti Rizzato Erika

С меки корици

61.23 € 119.76 лв

Calorie Counter

С меки корици

8.17 € 15.97 лв

Collins Complete Irish Wildlife Paul Sterry

С меки корици

22.65 € 44.30 лв

Work-Life Balance For Dummies Jeni Mumford

С меки корици

17.27 € 33.78 лв

Dead Men Risen: An Epic Story of War and Heroism in Afghanistan Toby Harnden

С твърди корици

25.34 € 49.56 лв

The Right to be Forgotten on the Internet: Google v. Spain Artemi Rallo

С меки корици

13.03 € 25.48 лв

Nożyczki biurowe 21 cm Книга

binding.

3.15 € 6.16 лв

Lead, Kindly Light: Gandhi and the Way to Peace Vincent Sheean

С меки корици

38.27 € 74.85 лв

Viaje Al Centro de la Tierra Julio Verne

С меки корици

8.37 € 16.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.