Kontakt
Kako kupovati
Dostava
Savjetnik za kupnju
Gestion Du Temps Par Le Raffinement
Francuski
116 b
Do 30 dana za povrat
Kupci su kupili i
/
Tvrdi uvez
36.35
€
/
Meki uvez
48.88
€
/
Meki uvez
49.89
€
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.
Informacije o knjizi
Francuski
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimcaMoglo bi vas zanimati i
/
Meki uvez
14.54
€
/
Meki uvez
21.91
€
/
Meki uvez
15.55
€
/
Meki uvez
37.36
€
Dobar dan! Ja sam Libroamiko, vaš književni savjetnik.
Kako vam mogu pomoći?