Contacto
Como comprar
Entrega
Guia de compras
Gestion Du Temps Par Le Raffinement
Francês
122 b
Até 30 dias para devoluções
Os clientes também compraram
/
Livro de capa dura
34.64
€
/
Capa mole
46.05
€
/
Livro de capa dura
28.48
€
/
Capa mole
52.82
€
/
Livro de capa dura
84.13
€
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.
Sobre o livro
Francês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
14.33
€
/
Capa mole
21.91
€
/
Capa mole
15.55
€
/
Capa mole
39.59
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?