Mohlo by sa vám tiež páčiť

Viac informácií o knihe Méthodes formelles pour le parallélisme

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 95 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po francúzsky LITTÉRATURE GÉNÉRALE Essais littéraires

• Celý názov: Méthodes formelles pour le parallélisme
• Jazyk: Francúzština
• Väzba: Brožovaná
• Počet strán: 84
• EAN: 9786139520916
• ISBN: 6139520916
• ID: 25088418
• Nakladateľ: Éditions universitaires européennes
• Hmotnosť: 143 g
• Rozmery: 220 × 150 × 5 mm
• Dátum vydania: 07. October 2019

Obľúbené z iného súdka

---

---

---