Méthodes formelles pour le parallélisme

Name: Méthodes formelles pour le parallélisme
Brand: Éditions universitaires européennes
SKU: 9786139520916
Price: 36.62 EUR
Availability: InStock

Автор: Djalila Boughareb

Език:

Корици: С меки корици

Издател: Éditions universitaires européennes

Наличност: Външен склад

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

36.62 € 71.62 лв

Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de dév...

Информация за книгата

Автор

Djalila Boughareb

Език

Френски език

Корици

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

Издадена

2019

страници

EAN

9786139520916

ISBN

6139520916

Enbook ID

25088418

Издател

Éditions universitaires européennes

Теглоt

143

Размери

150 x 220 x 5

Пълно описание

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.

Може също да ви хареса

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

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Méthodes formelles pour le parallélisme

Информация за книгата

Пълно описание

Може също да ви хареса

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