Méthodes formelles pour le parallélisme

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

Szerző: Djalila Boughareb

Nyelv:

Kötés: Puha kötésű

Kiadó: Éditions universitaires européennes

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

13 326 Ft

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

Információk a könyvről

Szerző

Djalila Boughareb

Nyelv

Francia

Kötés

Könyv - Puha kötésű

Kiadva

2019

oldal

EAN

9786139520916

ISBN

6139520916

Enbook ID

25088418

Kiadó

Éditions universitaires européennes

Súly

143

Méretek

150 x 220 x 5

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Méthodes formelles pour le parallélisme

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták