Gestion Du Temps Par Le Raffinement

Name: Gestion Du Temps Par Le Raffinement
Brand: Omniscriptum
SKU: 9786131514111
Price: 17337 HUF
Availability: InStock

Szerző: Joris Rehm

Nyelv:

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

Kiadó: Omniscriptum

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

Küldés 10-18 napon belül

17 337 Ft

Dans les domaines critiques d'application de l'informatique, il peut ętre vital de disposer d'un g...

Információk a könyvről

Szerző

Joris Rehm

Nyelv

Francia

Kötés

Könyv - Puha kötésű

Kiadva

2018

oldal

108

EAN

9786131514111

ISBN

6131514119

Enbook ID

07064082

Kiadó

Omniscriptum

Súly

168

Méretek

152 x 229 x 7

Teljes leírás

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.

É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

Gestion Du Temps Par Le Raffinement

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