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

Viac informácií o knihe Gestion Du Temps Par Le Raffinement

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

Nákupom získate 161 bodov

Anotácia knihy

Dans les domaines critiques d'application de l'informatique, il peut ętre vital de disposer d'un génie logiciel qui soit capable de garantir le bon fonctionnement des systčmes produits. Dans ce contexte particulier, la méthode "B évčnementielle" promeut le développement de modčles abstraits du systčme ŕ concevoir et l'utilisation de démonstrations formelles ainsi que de la relation de raffinement entre les modčles. Notre but est de pouvoir travailler sur des systčmes ayant des aspects temporels quantitatifs. C'est ainsi que nous proposons l'introduction des contraintes de temps par le raffinement, ceci permet de respecter la philosophie de la méthode B et de systématiser cette approche par la formalisation de patrons de raffinement. Nos différentes modélisations du temps sont proposées sous la forme de patron ŕ ré-appliquer sur le systčme ŕ étudier.

Parametre knihy

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

• Celý názov: Gestion Du Temps Par Le Raffinement
• Autor: Joris Rehm
• Jazyk: Francúzština
• Väzba: Brožovaná
• Počet strán: 108
• EAN: 9786131514111
• ISBN: 6131514119
• ID: 07064082
• Nakladateľ: Omniscriptum
• Hmotnosť: 168 g
• Rozmery: 229 × 152 × 7 mm
• Dátum vydania: 28. February 2018

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

---

---

---