Contatto
Come acquistare
Consegna
Guida all'acquisto
Gestion Du Temps Par Le Raffinement
Francese
127 b
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
51.19
€
/
In brossura
62.59
€
/
In brossura
52.29
€
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.
Informazioni sul libro
Francese
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
14.99
€
/
In brossura
23.59
€
/
In brossura
16.09
€
/
In brossura
39.19
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?